About: Rules of inference

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	3326986 (xsd:integer)
dbo:wikiPageRevisionID	876155168 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Rules of inference (en)
skos:broader	dbc:Proof_theory dbc:Rules dbc:Propositional_calculus dbc:Logical_truth dbc:Logical_expressions dbc:Syntax_(logic) dbc:Inference dbc:Formal_systems
skos:prefLabel	Rules of inference (en)
skos:related	dbc:Arguments dbc:Theorems
prov:wasDerivedFrom	wikipedia-en:Category:Rules_of_inference?oldid=876155168&ns=14
is dbo:wikiPageWikiLink of	dbr:Negation_as_failure dbr:Antidistributive dbr:Resolution_(logic) dbr:Cut_rule dbr:De_Morgan's_laws dbr:Destructive_dilemma dbr:Double_negation dbr:List_of_rules_of_inference dbr:Universal_instantiation dbr:Commutative_property dbr:Structural_rule dbr:Conjunction_elimination dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Contraposition_(traditional_logic) dbr:Commutativity_of_conjunction dbr:Admissible_rule dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Universal_generalization dbr:Hypothetical_syllogism dbr:Associative_property dbr:Absorption_(logic) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Tautology_(rule_of_inference) dbr:Transposition_(logic) dbr:Modus_non_excipiens dbr:Modus_ponendo_tollens dbr:Modus_ponens dbr:Free_choice_inference dbr:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Rule_of_inference dbr:SLD_resolution dbr:Negation_introduction dbr:Exportation_(logic) dbr:List_of_valid_argument_forms dbr:Rule_of_replacement dbr:Existential_generalization dbr:Existential_instantiation dbr:Simplification_of_disjunctive_antecedents
is dct:subject of	dbr:Negation_as_failure dbr:Antidistributive dbr:Resolution_(logic) dbr:Cut_rule dbr:De_Morgan's_laws dbr:Destructive_dilemma dbr:Double_negation dbr:List_of_rules_of_inference dbr:Universal_instantiation dbr:Commutative_property dbr:Structural_rule dbr:Conjunction_elimination dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Contraposition_(traditional_logic) dbr:Commutativity_of_conjunction dbr:Admissible_rule dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Universal_generalization dbr:Hypothetical_syllogism dbr:Associative_property dbr:Absorption_(logic) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Tautology_(rule_of_inference) dbr:Transposition_(logic) dbr:Modus_non_excipiens dbr:Modus_ponendo_tollens dbr:Modus_ponens dbr:Free_choice_inference dbr:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Rule_of_inference dbr:SLD_resolution dbr:Negation_introduction dbr:Exportation_(logic) dbr:List_of_valid_argument_forms dbr:Rule_of_replacement dbr:Existential_generalization dbr:Existential_instantiation dbr:Simplification_of_disjunctive_antecedents
is skos:related of	dbc:Arguments dbc:Theorems