Word 2341: Modus ponens

noun
the rule of logic stating that if a conditional statement (“if p then q”) is accepted, and the antecedent ( p) holds, then the consequent ( q) may be inferred
• an argument using this rule