前件推导英文解释翻译、前件推导的近义词、反义词、例句
英语翻译：
【计】 antecedent derivation
分词翻译：
前的英语翻译：
former; forward; front; preceding; priority
【医】 a.; ante-; antero-; fore-; pro-; proso-; ventri-; ventro-
件的英语翻译：
a unit; letter
推的英语翻译：
bunt; choose; deduce; hustle; infer; jostle; push; put off; shift; shove
trundle
【机】 buck; push
导的英语翻译：
guide; lead; teach; transmit
【医】 guidance; guide
网络扩展解释
前件推导 Qian Jian Tui Dao
前件推导是逻辑学中的一种推理形式，有时也称作“假设-演绎法”或“先决条件推理”
英文解释及读音
The English translation of 前件推导 is "Modus Ponens" and the pronunciation is "moh-dus poh-nenz".
英文用法
Modus Ponens is a rule of inference in propositional logic that allows us to infer a consequent from a conditional statement and its antecedent. In other words, if we know that "If A occurs, then B follows" and we also know that A is true, we can conclude that B must be true as well.
英文例句
For example, if we know that "If it rains, then the ground will be wet" and we observe that it is raining, we can use modus ponens to conclude that the ground must be wet.
另外，一个经典的例子是“唐纳德·克鲁滨”问题：
If today is Tuesday, then John will study in the library.
Today is Tuesday.
Therefore, John will study in the library.
英文近义词
Similar rules of inference in propositional logic include modus tollens (denying the consequent), hypothetical syllogism (transitivity), and disjunctive syllogism (exclusion).
其中，denying the consequent / denying the antecedent（否定后件 / 否定前件）是常见的逻辑谬误。
英文反义词
There is no direct antonym for modus ponens in propositional logic, but there are other rules of inference that cannot be derived from it such as affirming the consequent or the fallacy of affirming the consequent.
英文单词常用度
根据Google Books Ngram Viewer的统计结果，modus ponens在英文中的使用频率在过去的两百多年来一直呈现逐渐递增的趋势。