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.
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))"
Comments
Leave a comment