1 Answers
In logic, the monadic predicate calculus is the fragment of first-order logic in which all relation symbols in the signature are monadic , and there are no function symbols. All atomic formulas are thus of the form P {\displaystyle P} , where P {\displaystyle P} is a relation symbol and x {\displaystyle x} is a variable.
Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.
4 views
Answered