deductive inference：演繹推理

自動(dòng)邏輯推理 automated logic inference | 演繹推理 deductive inference | 反繹推理 abductive reasoning

direct examination：詰問自己提出辯證

dialectical reasoning 論理(辯證)方法 | direct examination 詰問自己提出辯證 | direct verdict 法官指示陪審團(tuán)作出直接判決

disentangle a skein of thought: straighten out complicated thoughts：解明龐雜思想

10. go right to the point: speak on a subject relevantly. 言... | 11. disentangle a skein of thought: straighten out complicated thoughts. 解明龐雜思想. | 12. sophistical adj.: not sound in reasoning. ...

disputation about contract：合同糾紛

女性觀:The conceptions about women | 合同糾紛:disputation about contract | 心智狀態(tài):reasoning about action

double negative：二重否定 (言語(yǔ)學(xué))

Counterexample 反例 | Double Negative 二重否定 (言語(yǔ)學(xué)) | Inductive Reasoning 帰納

enumerative：點(diǎn)數(shù)的

enumeration 點(diǎn)計(jì) | enumerative 點(diǎn)數(shù)的 | enumerative reasoning 點(diǎn)數(shù)推理

enumerative study：調(diào)查研究

enumerative reasoning 點(diǎn)數(shù)推理 | enumerative study 調(diào)查研究 | enumerator 計(jì)數(shù)器

Euler：尤拉

瓦里斯的發(fā)現(xiàn)方法,后來(lái)由牛頓、尤拉(Euler)繼續(xù)加以發(fā)揮. 降至現(xiàn)代,波利亞(G. Polya)在數(shù)學(xué)教育上強(qiáng)調(diào)「先猜測(cè)再檢驗(yàn)」(Guess and test)、「啟發(fā)術(shù)」(Heuristics)與「猜測(cè)式推理」(Plausible reasoning),而科學(xué)哲學(xué)家拉卡托斯(l.

evident code：明碼

"證據(jù)驗(yàn)證器","evidence verifier" | "明碼","evident code" | "據(jù)證推理","evidential reasoning"

evoke module control：?jiǎn)酒鹉＝M控制

"據(jù)證推理","evidential reasoning" | "喚起模組控制","evoke module control" | "進(jìn)化計(jì)算","evolution computing"