WikicatTheoremsInPropositionalLogic

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

Property	Value
rdfs:subClassOf	yago:Theorem106752293
owl:equivalentClass	yago-res:wikicat_Theorems_in_propositional_logic
is rdf:type of	dbr:Monotonicity_of_entailment dbr:Resolution_(logic) dbr:De_Morgan's_laws dbr:Destructive_dilemma dbr:Double_negation dbr:Peirce's_law dbr:Consensus_theorem dbr:Conjunction_introduction dbr:Consequentia_mirabilis dbr:Constructive_dilemma dbr:Contraposition dbr:Commutativity_of_conjunction dbr:Idempotency_of_entailment dbr:Case_analysis dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Law_of_excluded_middle dbr:Law_of_identity dbr:Law_of_noncontradiction dbr:Proof_by_contradiction dbr:Hypothetical_syllogism dbr:Absorption_(logic) dbr:Absorption_law 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:Frege's_theorem dbr:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Nicod's_axiom dbr:Exportation_(logic) dbr:Principle_of_explosion

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