Last modified on 30 December 2013, at 04:01

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

SummaryEdit

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

No column/row is empty:
1. \forall x \exist y Lyx:
Everyone is loved by someone.
2. \forall x \exist y Lxy:
Everyone loves someone.
The diagonal is
nonempty/full:
5. \exist x Lxx:
Someone loves himself.
6. \forall x Lxx:
Everyone loves himself.
The matrix is
nonempty/full:
7. \exist x \exist y Lxy:
Someone loves someone.

8. \exist x \exist y Lyx:
Someone is loved by someone.
9. \forall x \forall y Lxy:
Everyone loves everyone.

10. \forall x \forall y Lyx:
Everyone is loved by everyone.
Hasse diagram of the implications
One row/column is full:
3. \exist x \forall y Lxy:
Someone loves everyone.
4. \exist x \forall y Lyx:
Someone is loved by everyone.


Mate2code.svg   mate2code

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.
Inkscape Logo.svg
This vector image was created with Inkscape.
This file was uploaded with Commonist. Commonist.svg