VariousWords beta
Related Terms:
Noun
Definition: 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.
VariousWords beta
Definition: 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.