Absorption (logic)Admissible ruleAntidistributiveAssociative propertyBiconditional eliminationBiconditional introductionCommutative propertyCommutativity of conjunctionConjunction eliminationConjunction introductionConstructive dilemmaContraposition (traditional logic)Cut ruleDe Morgan's lawsDestructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDistributive propertyDouble negationExistential generalizationExistential instantiationExportation (logic)Free choice inferenceHypothetical 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 resolutionSimplification of disjunctive antecedentsStructural rule
Link from a Wikipage to another Wikipage
Absorption (logic)Admissible ruleAntidistributiveAssociative propertyBiconditional eliminationBiconditional introductionCommutative propertyCommutativity of conjunctionConjunction eliminationConjunction introductionConstructive dilemmaContraposition (traditional logic)Cut ruleDe Morgan's lawsDestructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDistributive propertyDouble negationExistential generalizationExistential instantiationExportation (logic)Free choice inferenceHypothetical 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 resolutionSimplification of disjunctive antecedentsStructural rule
subject
Wikipage page ID
Wikipage revision ID
876,155,168
wikiPageUsesTemplate
type
label
Rules of inference
@en
broader
prefLabel
Rules of inference
@en