|
gptkbp:instanceOf
|
gptkb:formal_semantics
gptkb:branch_of_logic
|
|
gptkbp:alsoKnownAs
|
gptkb:logic
sentential logic
statement logic
|
|
gptkbp:developedBy
|
gptkb:19th_century
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:mathematics
gptkb:philosophy
computer science
proof theory
automated theorem proving
circuit design
|
|
gptkbp:hasComponent
|
formulas
propositional variables
contingencies
contradictions
logical operators
tautologies
|
|
gptkbp:hasProperty
|
gptkb:music
compact
complete
decidable
finitary
|
|
gptkbp:isFoundationFor
|
gptkb:logic
gptkb:many-valued_logic
predicate logic
|
|
gptkbp:limitation
|
cannot express quantification
cannot express relations between objects
|
|
gptkbp:notableFigure
|
gptkb:Alfred_North_Whitehead
gptkb:Augustus_De_Morgan
gptkb:Bertrand_Russell
gptkb:George_Boole
gptkb:Gottlob_Frege
|
|
gptkbp:operator
|
OR
AND
NOT
IF AND ONLY IF
IMPLIES
|
|
gptkbp:studies
|
logical connectives
propositions
truth values
|
|
gptkbp:uses
|
gptkb:syntax
semantics
axioms
inference rules
|
|
gptkbp:bfsParent
|
gptkb:Davis–Putnam_algorithm
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
propositional calculus
|