WikicatRulesOfInference

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

Property	Value
rdfs:subClassOf	yago:Rule105846054
owl:equivalentClass	yago-res:wikicat_Rules_of_inference
is rdf:type of	dbr:Negation_as_failure dbr:Resolution_(logic) dbr:De_Morgan's_laws dbr:Destructive_dilemma dbr:Double_negation dbr:Universal_instantiation dbr:Commutative_property dbr:Structural_rule dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Contraposition_(traditional_logic) dbr:Converse_(logic) dbr:Commutativity_of_conjunction dbr:Admissible_rule dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Law_of_noncontradiction 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:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Rule_of_inference dbr:SLD_resolution dbr:Negation_introduction dbr:Exportation_(logic) dbr:Rule_of_replacement dbr:Existential_generalization dbr:Existential_instantiation dbr:Unit_propagation

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License