Definition for modus tollens
Modus tollens, a principle of logic, is used to form a valid argument. It states that if the first of two conditional statements is true ("If P, then Q") and the second statement is the negation of the second part of the first statement ("Not Q"), then one can conclude the negation of the first part of the first statement ("Therefore, not P").
Inclusive Elements
- A conditional statement ("If P, then Q").
- The negation of the consequent ("Not Q").
- The conclusion, which is the negation of the antecedent ("Therefore, not P").
Exclusive Elements
- Arguments based on inductive reasoning.
- Assertions that do not form a conditional relationship.
Exceptions and Qualifications
This form of argument assumes that the premises are true and logically connected. Its validity is not affected by the actual truth of the premises or conclusion, but rather their logical structure.
Other Terms related to modus tollens
Deductive reasoning in the legal context refers to a logical process wherein a conclusion is based on the concordance of multiple premises that are generally assumed to be true.
