monadic predicate logic

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

monadic predicate logic (plural monadic predicate logics)

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