Loading…
Loading…
Concept · Foundations
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
Following the links will take you to the page where this term is introduced in context.
Related