Solutions Quantifiers3 2: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

15 November 2013

14 November 2013

  • curprev 23:2223:22, 14 November 2013Suzanne talk contribs 292 bytes +292 Created page with "1. For every person there is at least one person who loves him / her: ∀x (PERSON (x) → ∃y (PERSON (y) & LOVE (x, y)) 2. There is one person that is loved by everyone:..."