TIFR CSE 2017 | Part B | Question: 11

Question

Given that

• $B(x)$ means "$x$ is a bat",
• $F(x)$ means "$x$ is a fly", and
• $E(x, y)$ means "$x$ eats $y$",

what is the best English translation of $$ \forall x(F(x) \rightarrow \forall y (E(y, x) \rightarrow B(y)))?$$

• A. all flies eat bats
• B. every fly is eaten by some bat
• C. bats eat only flies
• D. every bat eats flies
• E. only bats eat flies

Comments

For all x if its a fly then for all y if y eats x then y is a bat ... option E ..

---

Interesting fact is this question repeated in ISRO 2020 (only bears eat fish)

---

1. All flies eat bats:
∀x (F(x) → ∃y (Eats(x, y) ∧ B(y)))

 2. Every fly is eaten by some bat:
∀x (F(x) → ∃y (Eats(y, x) ∧ B(y)))

 3. Bats eat only flies:
∀x (B(x) → ∀y (Eats(x, y) → F(y)))
or
∀x∀y (B(x)∧Eats(x, y)→F(y))

 4. Every bat eats flies:
∀x (B(x) → ∃y (Eats(x, y) ∧ F(y)))

 5. Only bats eat flies:
∀x∀y (F(x) ∧ Eats(y, x)  → B(y))
or
∀x (F(x)→∀y (Eats(y, x) → B(y)))

Answer 1

If $x$ is a fly, then for all $y$ which eats $x$, $y$ is a bat. This means only bats eat flies.

Option (E).

Comments

Sir, isn't option (b) and (e) equivalent to each other? Why option (B) is not the correct choice?

---

@Arjun sir, @sourav.

Is this correct for option c

---

@Arjun sir But if y eats x then only it will be implied as a bat??so how you can say that not all bats eat fly?please explain

Answer 2

For any/all x if it is a fly and if it gets eaten up by any y than that y must be a bat..

So only bats eat flies.

Option e

Answer 3

first solve ∀y(E(y,x)→B(y)) only take x=fly1

so for x1fly1  ∀y(E(y,x)→B(y)) telling that : (if y1 eats fly1  then y1 is Bat) and(if y2 eats fly1  then y2 is Bat) and (if y1 eats fly1  then y1 is Bat ) and ....(if yn eats fly1  then yn is Bat).

this conclude that:  only bats eats fly1 .

no solve comlete :∀x(F(x)→∀y(E(y,x)→B(y)))

 = (if x is fly1 then only bats eats fly1) and (if x is fly2 then only bats eats fly2) and (if x is fly3 then only bats eats fly3)...

= every fly  eaten by bats only.

= only bats eats flies.

Ans: E