 predicate_calculus |
||
| 1. | [ noun ] (mathematics,logic) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | |
| Synonyms: | functional_calculus | |
| Related terms: | symbolic_logic quantification | |
