Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Category:Theorems in propositional logic
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Category:Theorems_in_propositional_logic
http://dbpedia.org/ontology/wikiPageID 34960188
http://dbpedia.org/ontology/wikiPageRevisionID 876211444
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Category_see_also + , http://dbpedia.org/resource/Template:Cat_main + , http://dbpedia.org/resource/Template:Commons +
http://www.w3.org/2004/02/skos/core#broader http://dbpedia.org/resource/Category:Propositional_calculus + , http://dbpedia.org/resource/Category:Mathematical_theorems +
http://www.w3.org/2004/02/skos/core#prefLabel Theorems in propositional logic
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Category:Theorems_in_propositional_logic?oldid=876211444&ns=14 +
owl:sameAs http://commons.dbpedia.org/resource/Theorems_in_propositional_logic + , http://dbpedia.org/resource/Category:Theorems_in_propositional_logic +
rdf:type http://www.w3.org/2004/02/skos/core#Concept +
rdfs:label Theorems in propositional logic
hide properties that link here 
http://dbpedia.org/resource/Consequentia_mirabilis + , http://dbpedia.org/resource/Proof_by_contradiction + , http://dbpedia.org/resource/Modus_non_excipiens + , http://dbpedia.org/resource/Import%E2%80%93export_%28logic%29 + , http://dbpedia.org/resource/Absorption_%28logic%29 + , http://dbpedia.org/resource/Tautology_%28rule_of_inference%29 + , http://dbpedia.org/resource/Law_of_excluded_middle + , http://dbpedia.org/resource/Modus_tollens + , http://dbpedia.org/resource/Hypothetical_syllogism + , http://dbpedia.org/resource/Modus_ponendo_tollens + , http://dbpedia.org/resource/Modus_ponens + , http://dbpedia.org/resource/Consensus_theorem + , http://dbpedia.org/resource/Disjunctive_syllogism + , http://dbpedia.org/resource/Disjunction_elimination + , http://dbpedia.org/resource/Disjunction_introduction + , http://dbpedia.org/resource/Absorption_law + , http://dbpedia.org/resource/De_Morgan%27s_laws + , http://dbpedia.org/resource/Transposition_%28logic%29 + , http://dbpedia.org/resource/Frege%27s_theorem + , http://dbpedia.org/resource/Distributive_property + , http://dbpedia.org/resource/Conjunction_elimination + , http://dbpedia.org/resource/Nicod%27s_axiom + , http://dbpedia.org/resource/Monotonicity_of_entailment + , http://dbpedia.org/resource/Material_implication_%28rule_of_inference%29 + , http://dbpedia.org/resource/Conjunction_introduction + , http://dbpedia.org/resource/Contraposition + , http://dbpedia.org/resource/Resolution_%28logic%29 + , http://dbpedia.org/resource/Double_negation + , http://dbpedia.org/resource/Principle_of_explosion + , http://dbpedia.org/resource/William_of_Soissons + , http://dbpedia.org/resource/Peirce%27s_law + , http://dbpedia.org/resource/Law_of_noncontradiction + , http://dbpedia.org/resource/Reductio_ad_absurdum + , http://dbpedia.org/resource/Commutativity_of_conjunction + , http://dbpedia.org/resource/Idempotency_of_entailment + , http://dbpedia.org/resource/Exportation_%28logic%29 + , http://dbpedia.org/resource/Destructive_dilemma + , http://dbpedia.org/resource/Constructive_dilemma + , http://dbpedia.org/resource/Biconditional_elimination + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/Consequentia_mirabilis + , http://dbpedia.org/resource/Proof_by_contradiction + , http://dbpedia.org/resource/Modus_non_excipiens + , http://dbpedia.org/resource/Import%E2%80%93export_%28logic%29 + , http://dbpedia.org/resource/Absorption_%28logic%29 + , http://dbpedia.org/resource/Tautology_%28rule_of_inference%29 + , http://dbpedia.org/resource/Law_of_excluded_middle + , http://dbpedia.org/resource/Modus_tollens + , http://dbpedia.org/resource/Hypothetical_syllogism + , http://dbpedia.org/resource/Modus_ponendo_tollens + , http://dbpedia.org/resource/Modus_ponens + , http://dbpedia.org/resource/Consensus_theorem + , http://dbpedia.org/resource/Disjunctive_syllogism + , http://dbpedia.org/resource/Disjunction_elimination + , http://dbpedia.org/resource/Disjunction_introduction + , http://dbpedia.org/resource/Absorption_law + , http://dbpedia.org/resource/De_Morgan%27s_laws + , http://dbpedia.org/resource/Transposition_%28logic%29 + , http://dbpedia.org/resource/Frege%27s_theorem + , http://dbpedia.org/resource/Distributive_property + , http://dbpedia.org/resource/Conjunction_elimination + , http://dbpedia.org/resource/Nicod%27s_axiom + , http://dbpedia.org/resource/Monotonicity_of_entailment + , http://dbpedia.org/resource/Material_implication_%28rule_of_inference%29 + , http://dbpedia.org/resource/Conjunction_introduction + , http://dbpedia.org/resource/Contraposition + , http://dbpedia.org/resource/Resolution_%28logic%29 + , http://dbpedia.org/resource/Double_negation + , http://dbpedia.org/resource/Principle_of_explosion + , http://dbpedia.org/resource/William_of_Soissons + , http://dbpedia.org/resource/Peirce%27s_law + , http://dbpedia.org/resource/Law_of_noncontradiction + , http://dbpedia.org/resource/Reductio_ad_absurdum + , http://dbpedia.org/resource/Commutativity_of_conjunction + , http://dbpedia.org/resource/Idempotency_of_entailment + , http://dbpedia.org/resource/Exportation_%28logic%29 + , http://dbpedia.org/resource/Destructive_dilemma + , http://dbpedia.org/resource/Constructive_dilemma + , http://dbpedia.org/resource/Biconditional_elimination + , http://dbpedia.org/resource/Biconditional_introduction + http://purl.org/dc/terms/subject
http://dbpedia.org/resource/Category:Theorems_in_propositional_logic + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fdbpedia.org-2Fresource-2FCategory:Theorems_in_propositional_logic"