monadic predicate logic

listen to the pronunciation of monadic predicate 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
monadic predicate logic
Избранное