Defenition of the word predicate calculus
Defenition of the word predicate calculus
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms for the word predicate calculus
Meronymys for the word predicate calculus
Hypernyms for the word predicate calculus
formal logic
mathematical logic
symbolic logic
See other words
The word of the day
abreast of(p)
being up to particular standard or level especially in being up to date in knowledge; "kept abreast of the latest developments"; "constant revision keeps the book au courant"; "always au fait on the latest events"; "up on the news"
Read more...