Modus Tollens
A logical argument of the form:
If P, then Q.
Latin:
removing by taking away.
Modus tollens Logic:
If P, then QNot P is true
Therefore Not Q is true
Using if A, then B, we have:
A = Not P and B = Not Q
P = antecedent and Q = consequent.
If antecedent = false, consequence = false.
Modus tollens Notation:
!P → !QTruth Table Modus tollens:
The fourth line of the table below shows Modus tollens| P | Q | P → Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
How does the Modus Tollens Calculator work?
Free Modus Tollens Calculator - Shows Modus Tollens definition and examples
What 1 formula is used for the Modus Tollens Calculator?
!p --> !q
What 7 concepts are covered in the Modus Tollens Calculator?
- conjunction
- a word used to connect clauses or sentences or to coordinate words in the same clause
- disjunction
- a binary connective classically interpreted as a truth function the output of which is true if at least one of the input sentences (disjuncts) is true, and false otherwise
- equivalence
- the state or property of being equivalent.
- modus tollens
- If conditional statement if not p then not q
!p --> !q - negation
- reverses the truth value of a given statement.
~ - proposition
- a declarative sentence that is either true or false (but not both)
- truth table
- a table that shows how the truth or falsity of a compound statement depends on the truth or falsity of the simple statements from which it is constructed.
