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:
Propositional calculus
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
27221591
(xsd:integer)
dbo:
wikiPageRevisionID
876210303
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Propositional calculus
(en)
owl:
sameAs
dbpedia-commons
:Propositional calculus
skos:
broader
dbc
:Classical_logic
dbc
:Systems_of_formal_logic
dbc
:Propositions
skos:
prefLabel
Propositional calculus
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Propositional_calculus?oldid=876210303&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Propositional_calculus
dbr
:Propositional_formula
dbr
:Negation_normal_form
dbr
:Resolution_(logic)
dbr
:Deductive_closure
dbr
:Intermediate_logic
dbr
:Propositional_proof_system
dbr
:Principle_of_distributivity
dbr
:Frege's_propositional_calculus
dbr
:Contradiction
dbr
:Clause_(logic)
dbr
:Functional_completeness
dbr
:Proposition
dbr
:Substitution_(logic)
dbr
:Truth_table
dbr
:Minimal_axioms_for_Boolean_algebra
dbr
:System_L
dbr
:DiVincenzo's_criteria
dbr
:Formation_rule
dbr
:Logical_consequence
dbr
:List_of_Hilbert_systems
dbr
:Predicate_(mathematical_logic)
dbr
:Tautology_(logic)
dbr
:Unsatisfiable_core
dbr
:Zeroth-order_logic
dbr
:Frege_system
dbr
:Implicational_propositional_calculus
dbr
:Rule_of_inference
dbr
:Negation_introduction
dbr
:Nicod's_axiom
dbr
:Literal_(mathematical_logic)
dbr
:Propositional_variable
dbr
:Rule_of_replacement
dbr
:Second-order_propositional_logic
dbr
:Proof_by_contrapositive
dbr
:Stoic_logic
is
dcterms:
subject
of
dbr
:Propositional_calculus
dbr
:Propositional_formula
dbr
:Negation_normal_form
dbr
:Resolution_(logic)
dbr
:Deductive_closure
dbr
:Intermediate_logic
dbr
:Propositional_proof_system
dbr
:Principle_of_distributivity
dbr
:Frege's_propositional_calculus
dbr
:Contradiction
dbr
:Clause_(logic)
dbr
:Functional_completeness
dbr
:Proposition
dbr
:Substitution_(logic)
dbr
:Truth_table
dbr
:Minimal_axioms_for_Boolean_algebra
dbr
:System_L
dbr
:DiVincenzo's_criteria
dbr
:Formation_rule
dbr
:Logical_consequence
dbr
:List_of_Hilbert_systems
dbr
:Predicate_(mathematical_logic)
dbr
:Tautology_(logic)
dbr
:Unsatisfiable_core
dbr
:Zeroth-order_logic
dbr
:Frege_system
dbr
:Implicational_propositional_calculus
dbr
:Rule_of_inference
dbr
:Negation_introduction
dbr
:Nicod's_axiom
dbr
:Literal_(mathematical_logic)
dbr
:Propositional_variable
dbr
:Rule_of_replacement
dbr
:Second-order_propositional_logic
dbr
:Proof_by_contrapositive
dbr
:Stoic_logic
is
skos:
broader
of
dbc
:Normal_forms_(logic)
dbc
:Logical_consequence
dbc
:Logical_connectives
dbc
:Predicate_logic
dbc
:Rules_of_inference
dbc
:Theorems_in_propositional_logic
dbc
:Propositional_fallacies
is
skos:
related
of
dbc
:Boolean_algebra
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License