Given that B(a) means “a is a bear” F(a) means “a is a fish” and E(a, b) means…
2020
Given that
B(a) means “a is a bear”
F(a) means “a is a fish” and
E(a, b) means “a eats b” Then what is the best meaning of
∀x[F(x) ⇒ ∀y(E(y, x) ⇒ B(y))] - A.
Every fish is eaten by some bear
- B.
Bears eat only fish
- C.
Every bear eats fish
- D.
Only bears eat fish
Attempted by 24 students.
Show answer & explanation
Correct answer: D
The formula ∀x[F(x) ⇒ ∀y(E(y, x) ⇒ B(y))] translates to: For any entity x, if x is a fish, then for any entity y, if y eats x, y must be a bear. This means that anyone or anything eating a fish is necessarily a bear. Thus, the statement implies that only bears eat fish.