monadic predicate logic

From Wiktionary, the free dictionary
Archived revision by TheDaveBot (talk | contribs) as of 16:39, 16 November 2016.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Noun

[edit]

monadic predicate logic (plural monadic predicate logics)

  1. (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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=monadic_predicate_logic&oldid=41614561"