MathCastle
Proof WritingHardExistence, Uniqueness and Counterexamples

Existence, Uniqueness and Counterexamples · Hard problem

Let S={1,2,3,4,5,6}S = \{1, 2, 3, 4, 5, 6\}, with all variables in SS. How many of these four statements are true? (a) ∀x ∃y:x+y=7\forall x\ \exists y: x + y = 7. (b) ∃y ∀x:x+y≤7\exists y\ \forall x: x + y \le 7. (c) ∀x ∃y:y≠1\forall x\ \exists y: y \ne 1 and xy∈Sxy \in S. (d) ∃y ∀x:y≠1\exists y\ \forall x: y \ne 1 and y∣xy \mid x.