About: Rules of inference

Property	Value
rdf:type	skos:Concept
rdfs:label	Rules of inference
skos:broader	dbpedia:Category:Formal_systems dbpedia:Category:Proof_theory dbpedia:Category:Rules
skos:prefLabel	Rules of inference
is skos:subject of	dbpedia:Law_of_excluded_middle dbpedia:Resolution_(logic) dbpedia:Generalization_(logic) dbpedia:Transposition_(logic) dbpedia:Constructive_dilemma dbpedia:Destructive_dilemma dbpedia:Dictum_de_omni_et_nullo dbpedia:Principle_of_contradiction dbpedia:Biconditional_introduction dbpedia:Contraposition_(traditional_logic) dbpedia:Law_of_thought dbpedia:Admissible_rule dbpedia:Modus_tollens dbpedia:Rule_of_inference dbpedia:Law_of_identity dbpedia:Universal_instantiation dbpedia:Commutativity_of_conjunction dbpedia:Disjunction_elimination dbpedia:Disjunctive_syllogism dbpedia:Modus_ponens dbpedia:De_Morgan's_laws dbpedia:Modus_ponendo_tollens dbpedia:Case_analysis dbpedia:Conversion_(logic) dbpedia:Biconditional_elimination dbpedia:Conjunction_introduction dbpedia:Disjunction_introduction dbpedia:Double_negative_elimination dbpedia:Hypothetical_syllogism dbpedia:Independence_of_premise dbpedia:List_of_rules_of_inference dbpedia:Obversion dbpedia:Proof_by_contrapositive dbpedia:Simplification dbpedia:Proof_by_contradiction