Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Rules_of_inference> . }
Showing items 1 to 42 of
42
with 100 items per page.
- Absorption_(logic) subject Category:Rules_of_inference.
- Admissible_rule subject Category:Rules_of_inference.
- Associative_property subject Category:Rules_of_inference.
- Biconditional_elimination subject Category:Rules_of_inference.
- Biconditional_introduction subject Category:Rules_of_inference.
- Commutative_property subject Category:Rules_of_inference.
- Commutativity_of_conjunction subject Category:Rules_of_inference.
- Conjunction_introduction subject Category:Rules_of_inference.
- Constructive_dilemma subject Category:Rules_of_inference.
- Contraposition_(traditional_logic) subject Category:Rules_of_inference.
- De_Morgan's_laws subject Category:Rules_of_inference.
- Destructive_dilemma subject Category:Rules_of_inference.
- Disjunction_elimination subject Category:Rules_of_inference.
- Disjunction_introduction subject Category:Rules_of_inference.
- Disjunctive_syllogism subject Category:Rules_of_inference.
- Distributive_property subject Category:Rules_of_inference.
- Double_negative_elimination subject Category:Rules_of_inference.
- Existential_generalization subject Category:Rules_of_inference.
- Existential_instantiation subject Category:Rules_of_inference.
- Exportation_(logic) subject Category:Rules_of_inference.
- Hypothetical_syllogism subject Category:Rules_of_inference.
- List_of_rules_of_inference subject Category:Rules_of_inference.
- List_of_valid_argument_forms subject Category:Rules_of_inference.
- Material_implication_(rule_of_inference) subject Category:Rules_of_inference.
- Modus_non_excipiens subject Category:Rules_of_inference.
- Modus_ponendo_tollens subject Category:Rules_of_inference.
- Modus_ponens subject Category:Rules_of_inference.
- Modus_tollens subject Category:Rules_of_inference.
- Negation_as_failure subject Category:Rules_of_inference.
- Negation_introduction subject Category:Rules_of_inference.
- Resolution_(logic) subject Category:Rules_of_inference.
- Rule_of_inference subject Category:Rules_of_inference.
- Rule_of_replacement subject Category:Rules_of_inference.
- SLD_resolution subject Category:Rules_of_inference.
- Simplification subject Category:Rules_of_inference.
- Structural_rule subject Category:Rules_of_inference.
- Tautology_(rule_of_inference) subject Category:Rules_of_inference.
- Transposition_(logic) subject Category:Rules_of_inference.
- Universal_generalization subject Category:Rules_of_inference.
- Universal_instantiation subject Category:Rules_of_inference.
- Category:Arguments related Category:Rules_of_inference.
- Category:Theorems related Category:Rules_of_inference.