English Dictionary

modus ponens

名詞

不可算名詞

(philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Modus ponens has the form

日本語の意味

（哲学・論理学）条件命題の前件を肯定することで、後件が肯定される、正当な推論の形式

In the formal logic seminar, she used modus ponens as an example, showing that from 'If it rains, the ground gets wet' and the antecedent 'It is raining' one can validly infer the consequent 'The ground gets wet'.

形式論理学のゼミで、彼女は前件肯定の論法を例として用い、『もし雨が降れば地面が濡れる』という前提と前件の『雨が降っている』から帰結の『地面が濡れる』を妥当に導けることを示した。

意味（1）

(philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Modus ponens has the form

If P, then Q.