Open main menu

Wikimedia Commons β

Template:Predicate logic; 2 variables; single; example matrices


There are 10 sentences with 8 different meanings, using the loving-relation Lxy and the quantifiers ∀ and ∃:

No column/row is empty:
1. :
Everyone is loved by someone.
2. :
Everyone loves someone.
The diagonal is
5. :
Someone loves himself.
6. :
Everyone loves himself.
The matrix is
7. :
Someone loves someone.

8. :
Someone is loved by someone.
9. :
Everyone loves everyone.

10. :
Everyone is loved by everyone.
Hasse diagram of the implications
One row/column is full:
3. :
Someone loves everyone.
4. :
Someone is loved by everyone.

Watchduck.svg Watchduck (a.k.a. Tilman Piesk)

PD-icon.svg This file 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.
This -Commonist-predicates was created with Inkscape.
This file was uploaded with Commonist.