|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:basisFor
|
gptkb:classical_mathematics
gptkb:logic
gptkb:set_theory
formal semantics
model theory
proof theory
|
|
gptkbp:characteristic
|
gptkb:law_of_excluded_middle
gptkb:law_of_identity
gptkb:law_of_noncontradiction
|
|
gptkbp:contrastsWith
|
intuitionistic logic
paraconsistent logic
|
|
gptkbp:date
|
19th century
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:programming_language
digital circuit design
linguistics
philosophy of language
automated theorem proving
formal verification
database theory
mathematical proofs
scientific reasoning
legal reasoning
|
|
gptkbp:hasComponent
|
gptkb:logic
predicate logic
|
|
gptkbp:hasRule
|
gptkb:disjunctive_syllogism
gptkb:modus_ponens
gptkb:De_Morgan's_laws
contraposition
double negation elimination
existential generalization
existential instantiation
hypothetical syllogism
modus tollens
universal generalization
universal instantiation
|
|
gptkbp:hasTruthValues
|
false
true
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
classical logic
|
|
gptkbp:limitation
|
cannot handle paradoxes
not suitable for fuzzy logic
not suitable for quantum logic
not suitable for vagueness
|
|
gptkbp:notableFigure
|
gptkb:Alfred_Tarski
gptkb:Aristotle
gptkb:George_Boole
gptkb:Gottlob_Frege
|
|
gptkbp:usedIn
|
gptkb:mathematics
gptkb:philosophy
computer science
|
|
gptkbp:bfsParent
|
gptkb:Lukasiewicz_logic
gptkb:Quantum_logic
gptkb:Term_logic
gptkb:Gödel_logic
|
|
gptkbp:bfsLayer
|
5
|