Smart answer:
Your search for ′What is modus ponens′ returned the following results:
This rule of inference
This rule of inference is called modus ponens (because the only thing more pretentious than breaking out the formal logic is breaking out the Latin).
Source:
as modus ponendo ponens (Latin for 'method of putting by placing'),[1] implication elimination, or affirming the antecedent,[2
In propositional logic, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), also known as modus ponendo ponens (Latin for 'method of putting by placing'),[1] implication elimination, or affirming the antecedent,[2] is a deductive argument form and rule of inference.[3]
Source:
for affirming mode
Modus ponens' is Latin for affirming mode, and 'modus tollens' is Latin for denying mode.
Source:
a logical rule of inference based on conditional propositions
Modus ponens ('mode of affirming') is a logical rule of inference based on conditional propositions.
Source:
a fundamental rule of inference essentially justified by 'that's what implication means'
implies Q. Modus ponens is a fundamental rule of inference essentially justified by 'that's what implication means'.
Source:
a special case of resolution
In a logical or mathematical sence they are the same, but modus ponens is a special case of resolution.
Source:
a valid form of deductive inference -
I agree that modus ponens is a valid form of deductive inference - if 1 and 2 are true for some value of p and q, then 3 is always true.
Source:
a valid rule of inference for propositional logic
Modus ponendo tollens (MPT; Latin: "mode that denies by affirming") is a valid rule of inference for propositional logic.
Source:
the best-known rule of inference that is sound
Modus Ponens is the best-known rule of inference that is sound.
Source:
as a valid form of inference
Modus ponens is normally viewed as a valid form of inference because under the assumption that the two premises are true, the conclusion must be true.
Source:
as “a valid argument form/rule of inference” (Op. cit.,
Hurley defines modus ponens as “a valid argument form/rule of inference” (Op. cit., p. 538).
Source:
A famous inference rule called modus ponens [http://en.wikipedia.org/wiki/Modus_ponens]
A famous inference rule called modus ponens [http://en.wikipedia.org/wiki/Modus_ponens] is part of a formal system called first-order logic [http://en.wikipedia.org/wiki/First-order_logic].
Source:
implication elimination affirming the antecedent
'modus ponens'' (; MP), also known as ''modus ponendo ponens'' (Latin for 'method of putting by placing') or implication elimination or affirming the antecedent, is a deductive argument form and rule of inference.
Source:
a fundamental logical argument form used in deductive reasoning
Modus Ponens is a fundamental logical argument form used in deductive reasoning.
Source:
affirming the antecedent
* Modus ponens (affirming the antecedent), where one proceeds as follows:
Source:
from the fact that if a formula ⊤→F is provably true, where ⊤ is provably true, then F is provably true (by application of the rule of inference modus ponens)
MODUS-PONENS follows from the fact that if a formula ⊤→F is provably true, where ⊤ is provably true, then F is provably true (by application of the rule of inference modus ponens).
Source: