单词	modus ponens
释义	modus ponens /ˌməʊdəs ˈpəʊnɛnz / noun 1The rule of logic which states that if a conditional statement (‘if p then q’) is accepted, and the antecedent (p) holds, then the consequent (q) may be inferred.The statement that q follows by modus ponens from the other two stated as known in the antecedent of the subjunctive principle P; this principle counts on the person to draw the inference to q.... It could be a premise either, as some say, as the premise of a propositional scheme such as the modus ponens, or, as others assume, as the conditional premise of a hypothetical syllogism. We also noted that one of the most fundamental inferences concerning the conditional is modus ponens: a, a c c. 1.1An argument using the rule of modus ponens.Consider, for example, propositional logic: here one can start from self-evident axioms and proceed to deduce theorems by argument forms - modus ponens, for example - that are themselves self-evidently valid in an obvious sense.... The first three points are a valid form of argument, in the form of modus ponens. Robustness was meant to ensure that an assertable conditional is fit for modus ponens. Origin Latin, literally 'mood that affirms'.
随便看	locust locusta locust bean locust beetle locust berry locust bird locust borer locust bush locust club locust flower locustian locustid locust-killer locust lobster locust post locust shrimp locust tree locust wood locust years locution locutionary locutor locutorium locutory lode

英语词典包含243303条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。