|
|
Definition of Monadic predicate logic
1. Noun. (logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Monadic Predicate Logic
Other Resources:
