Search results
Results from the WOW.Com Content Network
In propositional logic, affirming the consequent (also known as converse error, fallacy of the converse, or confusion of necessity and sufficiency) is a formal fallacy (or an invalid form of argument) that is committed when, in the context of an indicative conditional statement, it is stated that because the consequent is true, therefore the ...
In propositional logic, modus tollens (/ ˈ m oʊ d ə s ˈ t ɒ l ɛ n z /) (MT), also known as modus tollendo tollens (Latin for "mode that by denying denies") [2] and denying the consequent, [3] is a deductive argument form and a rule of inference.
In propositional logic, modus ponens (/ ˈ m oʊ d ə s ˈ p oʊ n ɛ n z /; MP), also known as modus ponendo ponens (from Latin 'mode that by affirming affirms'), [1] implication elimination, or affirming the antecedent, [2] is a deductive argument form and rule of inference. [3] It can be summarized as "P implies Q. P is true. Therefore, Q ...
Affirming a disjunct – concluding that one disjunct of a logical disjunction must be false because the other disjunct is true; A or B; A, therefore not B. [10] Affirming the consequent – the antecedent in an indicative conditional is claimed to be true because the consequent is true; if A, then B; B, therefore A. [10]
Not to be confused with the 'Affirming the consequent', as in "If A, then B. B. Therefore A". One example would be: "Every unicorn has a horn on its forehead". It does not imply that there are any unicorns at all in the world, and thus it cannot be assumed that, if the statement were true, somewhere there is a unicorn in the world (with a horn ...
While a logical argument is a non sequitur if, and only if, it is invalid, the term "non sequitur" typically refers to those types of invalid arguments which do not constitute formal fallacies covered by particular terms (e.g., affirming the consequent). In other words, in practice, "non sequitur" refers to an unnamed formal fallacy.
In this example, the first premise is a conditional statement in which "P" is the antecedent and "Q" is the consequent. The second premise "affirms" the antecedent. The conclusion, that the consequent must be true, is deductively valid. A mixed hypothetical syllogism has four possible forms, two of which are valid, while the other two are invalid.
[98] [99] A well-known formal fallacy is affirming the consequent. It has the following form: (1) q ; (2) if p then q ; (3) therefore p . This fallacy is committed, for example, when a person argues that "the burglars entered by the front door" based on the premises "the burglars forced the lock" and "if the burglars entered by the front door ...