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.
Related