What is a monadic predicate logic? Here are some definitions.
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.
New Story Writing Game!
Win Amazon gift cards by writing simple stories at Fictish,
a new story writing game backed by WordHippo.