Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Theorems_in_propositional_logic> . }
Showing items 1 to 41 of
41
with 100 items per page.
- Absorption_(logic) subject Category:Theorems_in_propositional_logic.
- Absorption_law subject Category:Theorems_in_propositional_logic.
- Biconditional_elimination subject Category:Theorems_in_propositional_logic.
- Biconditional_introduction subject Category:Theorems_in_propositional_logic.
- Case_analysis subject Category:Theorems_in_propositional_logic.
- Commutativity_of_conjunction subject Category:Theorems_in_propositional_logic.
- Conjunction_introduction subject Category:Theorems_in_propositional_logic.
- Consensus_theorem subject Category:Theorems_in_propositional_logic.
- Consequentia_mirabilis subject Category:Theorems_in_propositional_logic.
- Constructive_dilemma subject Category:Theorems_in_propositional_logic.
- Contraposition subject Category:Theorems_in_propositional_logic.
- De_Morgan's_laws subject Category:Theorems_in_propositional_logic.
- Destructive_dilemma subject Category:Theorems_in_propositional_logic.
- Disjunction_elimination subject Category:Theorems_in_propositional_logic.
- Disjunction_introduction subject Category:Theorems_in_propositional_logic.
- Disjunctive_syllogism subject Category:Theorems_in_propositional_logic.
- Distributive_property subject Category:Theorems_in_propositional_logic.
- Double_negation subject Category:Theorems_in_propositional_logic.
- Double_negative_elimination subject Category:Theorems_in_propositional_logic.
- Exportation_(logic) subject Category:Theorems_in_propositional_logic.
- Frege's_theorem subject Category:Theorems_in_propositional_logic.
- Hypothetical_syllogism subject Category:Theorems_in_propositional_logic.
- Idempotency_of_entailment subject Category:Theorems_in_propositional_logic.
- Law_of_excluded_middle subject Category:Theorems_in_propositional_logic.
- Law_of_identity subject Category:Theorems_in_propositional_logic.
- Law_of_noncontradiction subject Category:Theorems_in_propositional_logic.
- Material_implication_(rule_of_inference) subject Category:Theorems_in_propositional_logic.
- Modus_non_excipiens subject Category:Theorems_in_propositional_logic.
- Modus_ponendo_tollens subject Category:Theorems_in_propositional_logic.
- Modus_ponens subject Category:Theorems_in_propositional_logic.
- Modus_tollens subject Category:Theorems_in_propositional_logic.
- Monotonicity_of_entailment subject Category:Theorems_in_propositional_logic.
- Nicod's_axiom subject Category:Theorems_in_propositional_logic.
- Peirce's_law subject Category:Theorems_in_propositional_logic.
- Principle_of_explosion subject Category:Theorems_in_propositional_logic.
- Proof_by_contradiction subject Category:Theorems_in_propositional_logic.
- Reductio_ad_absurdum subject Category:Theorems_in_propositional_logic.
- Resolution_(logic) subject Category:Theorems_in_propositional_logic.
- Simplification subject Category:Theorems_in_propositional_logic.
- Tautology_(rule_of_inference) subject Category:Theorems_in_propositional_logic.
- Transposition_(logic) subject Category:Theorems_in_propositional_logic.