Monadic predicate logic

Noun

Definitions

1.NounThe fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.

Synonyms

monadic second-order logic monome predicate logic mono positive logic monogenic linear logic monad zero-order logic simple law of excluded middle sentence

🔗 Find words with "monadic predicate logic" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.