Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Theorems_in_propositional_logic> }
Showing triples 1 to 81 of
81
with 100 triples per page.
- Absorption_(logic) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Absorption_law wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Biconditional_elimination wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Biconditional_introduction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Case_analysis wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Commutativity_of_conjunction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Conjunction_elimination wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Conjunction_introduction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Consensus_theorem wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Consequentia_mirabilis wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Constructive_dilemma wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Contraposition wikiPageWikiLink Category:Theorems_in_propositional_logic.
- De_Morgans_laws wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Destructive_dilemma wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Disjunction_elimination wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Disjunction_introduction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Disjunctive_syllogism wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Distributive_property wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Double_negation wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Exportation_(logic) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Freges_theorem wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Hypothetical_syllogism wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Idempotency_of_entailment wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Law_of_excluded_middle wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Law_of_identity wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Law_of_noncontradiction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- List_of_philosophy_categories wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Material_implication_(rule_of_inference) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Modus_non_excipiens wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Modus_ponendo_tollens wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Modus_ponens wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Modus_tollens wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Monotonicity_of_entailment wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Nicods_axiom wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Peirces_law wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Principle_of_explosion wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Proof_by_contradiction wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Reductio_ad_absurdum wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Resolution_(logic) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Tautology_(rule_of_inference) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Transposition_(logic) wikiPageWikiLink Category:Theorems_in_propositional_logic.
- 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_elimination 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_Morgans_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.
- Exportation_(logic) subject Category:Theorems_in_propositional_logic.
- Freges_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.
- Nicods_axiom subject Category:Theorems_in_propositional_logic.
- Peirces_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.
- Tautology_(rule_of_inference) subject Category:Theorems_in_propositional_logic.
- Transposition_(logic) subject Category:Theorems_in_propositional_logic.