 modus ponens and modus tollens

(Latin: "method of affirming" and "method of denying") In logic, two types of inference that can be drawn using a hypothetical propositioni.e., from a proposition of the form "If p, then q" (symbolically p ⊃ q). Modus ponens refers to inferences of the form p ⊃ q; p, therefore q. Modus tollens refers to inferences of the form p ⊃ q; ¬q, therefore, ¬p. An example of modus tollens is the following: "If an angle is inscribed in a semicircle, then it is a right angle; this angle is not a right angle; therefore, this angle is not inscribed in a semicircle."
* * *
▪ logic(Latin: “method of affirming” and “method of denying”), in propositional logic, two types of inference that can be drawn from a hypothetical proposition—i.e., from a proposition of the form “If A, then B” (symbolically A ⊃ B, in which ⊃ signifies “If . . . then”). Modus ponens refers to inferences of the form A ⊃ B; A, therefore B. Modus tollens refers to inferences of the form A ⊃ B; ∼B, therefore, ∼A (∼ signifies “not”). An example of modus tollens is the following:If an angle is inscribed in a semicircle, then it is a right angle; this angle is not a right angle; therefore, this angle is not inscribed in a semicircle.For disjunctive premises (employing ∨, which signifies “either . . . or”), the terms modus tollendo ponens and modus ponendo tollens are used for arguments of the forms A ∨ B; ∼A, therefore B, and A ∨ B; A, therefore ∼B (valid only for exclusive disjunction: “Either A or B but not both”). The rule of modus ponens is incorporated into virtually every formal system of logic.* * *
Universalium. 2010.
Look at other dictionaries:
Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus ponendo tollens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus tollendo ponens — (literally: mode which, by denying, affirms ) [Stone, Jon R. 1996. Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language . London, UK: Routledge: 60.] , or MTP, is a valid, simple argument form that is today known as disjunctive… … Wikipedia
Modus tollens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Necessary and sufficient condition — This article is about the formal terminology in logic. For causal meanings of the terms, see Causality. In logic, the words necessity and sufficiency refer to the implicational relationships between statements. The assertion that one statement is … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
List of Latin phrases (M) — This page lists direct English translations of Latin phrases, such as veni vidi vici and et cetera. Some of the phrases are themselves translations of Greek phrases, as Greek rhetoric and literature reached its peak centuries before that of… … Wikipedia
thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… … Universalium
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia