Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/RulesOfInference> . }
Showing items 1 to 37 of
37
with 100 items per page.
- Absorption_(logic) type RulesOfInference.
- Admissible_rule type RulesOfInference.
- Associative_property type RulesOfInference.
- Biconditional_elimination type RulesOfInference.
- Biconditional_introduction type RulesOfInference.
- Commutative_property type RulesOfInference.
- Commutativity_of_conjunction type RulesOfInference.
- Conjunction_introduction type RulesOfInference.
- Constructive_dilemma type RulesOfInference.
- Contraposition_(traditional_logic) type RulesOfInference.
- De_Morgan's_laws type RulesOfInference.
- Destructive_dilemma type RulesOfInference.
- Disjunction_elimination type RulesOfInference.
- Disjunction_introduction type RulesOfInference.
- Disjunctive_syllogism type RulesOfInference.
- Distributive_property type RulesOfInference.
- Double_negative_elimination type RulesOfInference.
- Existential_generalization type RulesOfInference.
- Existential_instantiation type RulesOfInference.
- Exportation_(logic) type RulesOfInference.
- Hypothetical_syllogism type RulesOfInference.
- Independence_of_premise type RulesOfInference.
- Material_implication_(rule_of_inference) type RulesOfInference.
- Modus_non_excipiens type RulesOfInference.
- Modus_ponendo_tollens type RulesOfInference.
- Modus_ponens type RulesOfInference.
- Modus_tollens type RulesOfInference.
- Negation_as_failure type RulesOfInference.
- Resolution_(logic) type RulesOfInference.
- Rule_of_inference type RulesOfInference.
- Rule_of_replacement type RulesOfInference.
- SLD_resolution type RulesOfInference.
- Structural_rule type RulesOfInference.
- Tautology_(rule_of_inference) type RulesOfInference.
- Transposition_(logic) type RulesOfInference.
- Universal_generalization type RulesOfInference.
- Universal_instantiation type RulesOfInference.