Concept · Foundations

Inference Rule

A schematic pattern that licenses the derivation of a conclusion from one or more premises, such as modus ponens or disjunctive syllogism.

Why it matters

Inference rules are the building blocks of formal proof and turn validity checking into step-by-step derivation.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Units (1)

Lessons (1)