|
Related articles:
Modus tollens
Key terms: q true if rule modus ponens argument cut valid logic math form premises sound type must claim inference sequent conditional therefore go to work antecedent truth table Search external links cited by footnotes on Wikipedia page Modus ponens: |
|