monadic predicate logic
English
Noun
monadic predicate logic (plural monadic predicate logics)
- (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.
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.