modus ponens

柯林斯词典

modus ponens /ˈməʊdəs ˈpəʊˌnɛnz/

[Latin]

• 1. N the principle that whenever a conditional statement and its antecedent are given to be true its consequent may be validly inferred, as in if it's Tuesday this must be Belgium and it's Tuesday so this must be Belgium (肯定前件的)假言推理[logic]

返回 modus ponens