monadic predicate logic en · NOUN
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| monadic predicate logics | Number=Plur | lexicographic |