Template:Predicate logic; 2 variables; single; example matrices
Jump to navigation
Jump to search
Summary[edit]
There are 10 sentences with 8 different meanings, using the loving-relation Lxy and the quantifiers ∀ and ∃:
|
|
|
|||||||||||||
|
Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck". |
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |