|
Related articles:
Modus tollens
Hypothetical syllogism
Rule of inference
Denying the antecedent
Affirming the consequent
Soundness
Forward chaining
Function application
Key terms: modus modus ponens q argument true valid logic premises rule math form if sound work inference conditional go cut antecedent truth proof claim consequent therefore type calculus latin modus tollens propositional must affirming Search external links cited by footnotes on Wikipedia page Modus ponens: |
|