monadic predicate logic

listen to the pronunciation of monadic predicate logic
İngilizce - İngilizce
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