Question

Translate the following into symbolic

form and give its domain.

1. All fishes are swimmers.

2. Some fruits are sweet.

3. Every number is a real number.

4. Any mammal is not two-legged.

Answer 1

1. $\forall x(Fish(x) \rightarrow Swimmers (x))$

2.$\exists x(Fruit(x) \land Sweet(x))$

3. $\forall x(Number(x) \rightarrow Real \ number(x))$

4. $\forall x(Mammal(x) \rightarrow \neg Two-legged(x))$