Absorption (logic)Admissible ruleAntidistributiveBiconditional eliminationBiconditional introductionCommutativity of conjunctionConjunction eliminationConjunction introductionConstructive dilemmaContraposition (traditional logic)Cut ruleDestructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDouble negationExistential generalizationExistential instantiationExportation (logic)Hypothetical syllogismList of rules of inferenceList of valid argument formsMaterial implication (rule of inference)Modus non excipiensModus ponendo tollensModus ponensModus tollensNegation as failureNegation introductionResolution (logic)Rule of inferenceRule of replacementSLD resolutionStructural ruleTautology (rule of inference)Transposition (logic)
subject
broader
Wikipage page ID
Wikipage revision ID
546,546,627
type
label
Rules of inference
@en
sameAs
broader
prefLabel
Rules of inference
@en