Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Theorems in propositional logic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
34960188
(xsd:integer)
dbo:
wikiPageRevisionID
876211444
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:Cat_main
dbt
:Category_see_also
rdf:
type
skos
:Concept
rdfs:
label
Theorems in propositional logic
(en)
owl:
sameAs
dbpedia-commons
:Theorems in propositional logic
skos:
broader
dbc
:Propositional_calculus
dbc
:Mathematical_theorems
skos:
prefLabel
Theorems in propositional logic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Theorems_in_propositional_logic?oldid=876211444&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Monotonicity_of_entailment
dbr
:Resolution_(logic)
dbr
:De_Morgan's_laws
dbr
:Destructive_dilemma
dbr
:Double_negation
dbr
:Reductio_ad_absurdum
dbr
:Peirce's_law
dbr
:Consensus_theorem
dbr
:William_of_Soissons
dbr
:Conjunction_elimination
dbr
:Conjunction_introduction
dbr
:Consequentia_mirabilis
dbr
:Constructive_dilemma
dbr
:Contraposition
dbr
:Commutativity_of_conjunction
dbr
:Idempotency_of_entailment
dbr
:Disjunction_elimination
dbr
:Disjunction_introduction
dbr
:Disjunctive_syllogism
dbr
:Distributive_property
dbr
:Law_of_excluded_middle
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
:Import–export_(logic)
dbr
:Principle_of_explosion
is
dcterms:
subject
of
dbr
:Monotonicity_of_entailment
dbr
:Resolution_(logic)
dbr
:De_Morgan's_laws
dbr
:Destructive_dilemma
dbr
:Double_negation
dbr
:Reductio_ad_absurdum
dbr
:Peirce's_law
dbr
:Consensus_theorem
dbr
:William_of_Soissons
dbr
:Conjunction_elimination
dbr
:Conjunction_introduction
dbr
:Consequentia_mirabilis
dbr
:Constructive_dilemma
dbr
:Contraposition
dbr
:Commutativity_of_conjunction
dbr
:Idempotency_of_entailment
dbr
:Disjunction_elimination
dbr
:Disjunction_introduction
dbr
:Disjunctive_syllogism
dbr
:Distributive_property
dbr
:Law_of_excluded_middle
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
:Import–export_(logic)
dbr
:Principle_of_explosion
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License