Match the following Lists
List-I
A. There are atmost two apples.
B. There are exactly two apples.
C. There is atmost one apple.
D. There is exactly one apple.
List-II
1. $\forall x \forall y \forall z ((Apple (x) \wedge Apple (y) \wedge Apple (z)) \rightarrow (x=y \vee x=z \vee y=z))$
2. $\forall x \forall y ((Apple (x) \wedge Apple (y)) \rightarrow (x=y \vee y=x))$
3. $\exists x \exists y (Apple (x) \wedge Apple (y) \wedge (x \neq y) \wedge \forall z (Apple (z) \rightarrow ((z=x) \vee (z=y))))$
4. $\exists x (Apple (x) \wedge \forall y (Apple (y) \rightarrow (x=y)))$
Codes:
A B C D
(a) 1 2 3 4
(b) 3 2 1 4
(c) 1 3 2 4
(d) 3 1 2 4
- $a$
- $b$
- $c$
- $d$