Linked from

The 24 pages that link to Modus ponens, each with the reason it gives.

• Deductive reasoningBroader topic: This basic rule shows how a conclusion can follow necessarily from premises.

• Propositional logicBroader topic: This basic rule derives conclusions from conditionals in propositional proofs.

• Rule of inferenceBroader topic: It is the standard example of a rule applied to two premises.

• Formal proofBroader topic: This basic rule illustrates how a proof step applies stated premises.

• SoundnessBroader topic: Its validity illustrates how a single truth-preserving rule supports sound derivations.

• Stoic logicBroader topic: It is the first of the traditional Stoic indemonstrable argument forms.

• Logical formBroader topic: It is a standard valid form used across subjects and ordinary reasoning.

• Logical validityBroader topic: This canonical valid form preserves truth from premises to conclusion.