monadic predicate logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences 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.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.