Definition that contains symbolic logic
- logistician a person skilled at symbolic logic
- propositional logic a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
- logical operation an operation that follows the rules of symbolic logic
- symbolic logician a person skilled at symbolic logic
- boolean logic a system of symbolic logic devised by George Boole; used in computers
- predicate calculus a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
- boolean algebra a system of symbolic logic devised by George Boole; used in computers
- functional calculus a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
- propositional calculus a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
- logician a person skilled at symbolic logic