predicate calculus
English Thesaurus
1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) (noun.cognition)
| hypernym | : | formal logic, mathematical logic, symbolic logic, |
| definition | : | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition) |
| part holonym | : | quantification, |
| definition | : | a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no') (noun.cognition) |
Visual ArtiKata
Explore predicate calculus in ArtiKata.com >