Monadic-predicate-logic Definition
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.
Wiktionary
Other Word Forms of Monadic-predicate-logic
Noun
Singular:
monadic-predicate-logicPlural:
monadic predicate logics
