monadic predicate logic

English dictionary entry

Meanings

noun
  1. 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.

Word forms

monadic predicate logic monadic predicate logics
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.