.~ Knowledge representation and reasoning technique {11}
57
.~.~ Propositional logic
DEFINITION
Classification: 706/57
Propositional logic:
(under subclass 46) Subject matter wherein the integrated collection of facts and relationships uses a reasoning system formed with truth values (e.g., X is a metal, if C then D) or logic connectives (e.g., and, or, not).
SEE OR SEARCH THIS CLASS, SUBCLASS:
56, for knowledge processing system having predicate logic or predicate calculus.
