Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
branch of logic |
| gptkbp:alsoKnownAs |
gptkb:logic
sentential logic statement logic |
| gptkbp:developedBy |
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 |
| https://www.w3.org/2000/01/rdf-schema#label |
propositional calculus
|
| gptkbp:isFoundationFor |
gptkb:logic
predicate logic many-valued 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
|