Linked from

The 37 pages that link to Rule of inference, each with the reason it gives.

• Logical consequenceNarrower topic: Inference rules generate syntactic consequence step by step.

• Sequent calculusNarrower topic: Each calculus step applies a rule to derive a new sequent.

• Modus ponensNarrower topic: Modus ponens is one member of this broader family of proof rules.

• Modus tollensNarrower topic: Modus tollens is one such pattern, distinguished by its conditional and negative premise.

• Conditional proofNarrower topic: Conditional proof is an application of a rule governing valid derivations.

• Disjunction introductionNarrower topic: Disjunction introduction specifies one permitted step from premise to conclusion.

• Biconditional introductionNarrower topic: This rule is a specific instance of an inference rule.

• Conjunction introductionNarrower topic: Conjunction introduction is a particular rule in this broader family.

• Conjunction eliminationNarrower topic: Conjunction elimination is a particular rule governing permissible deductions.

• Constructive dilemmaNarrower topic: Constructive dilemma is one particular schema for deriving a conclusion from premises.