monadic predicate logic

Noun

  • 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.

Modern English dictionary

Explore and search massive catalog of over 900,000 word meanings.

Word of the Day

Get a curated memorable word every day.

Challenge yourself

Level up your vocabulary by setting personal goals.

And much more

Try out Vedaist now.