# GATE2016-2-GA-08

2k views

All hill-stations have a lake. Ooty has two lakes.

Which of the statement(s) below is/are logically valid and can be inferred from the above sentences?

1. Ooty is not a hill-station.
2. No hill-station can have more than one lake.
1. (i) only.
2. (ii) only.
3. Both (i) and (ii)
4. Neither (i) nor (ii)

edited

All hill stations have a lake  $\Rightarrow \forall x( h(x)\to (\exists y, l(y) \wedge has(x,y)))$

Ooty has two lakes $\Rightarrow \exists x ( o(x) \wedge \exists y,z ( has(x,y,z)\wedge l(y)\wedge l(z)\wedge (z!=y) )$

Here, $h(x) \to x \text{ is hill station}$

• $l(x) \to x \text{ is lake }$
• $has(x,y)\to x \text{ has }y$
• $has(x,y,z)\to x\text{ has } y, z$
• $o(x)\to x \text{ is Ooty}$
1. Ooty is not a hill station $\implies$ we can not derive this above arguments, Ooty has two lakes already, if Ooty had $0$ lakes only then this can become true.
2. No hill station can have more than one lake

All arguments here are saying are if we have hill station, it can have lake. It is nowhere told that how many lakes it has. So, this is false.

Answer: (D) neither (i) nor (ii)

edited
0
Also, there could exist some places which have lakes but those place might not be a hill station.

$(could\ be\ True \ or\ false)?\rightarrow Has\ a\ lake(give\ as\ true ) \\ don't\ goes\ backward\leftarrow True$

only false goes backward.

so we can't say if a place has "two lakes"(basically "having a lake" condition is true) is a hill station or not because both are possible.$$0\ 0\ T \\{\color{Green} 1}\ {\color{Red} 1}\ T \\1\ 0\ F \\{\color{Yellow} 1}\ {\color{Red} 1}\ T$$
Every hill station has a lake means "every hill station has at least one lake". That means a hill station can have more than one lakes. But, a place without any lake cannot be a hill station. So, none can be concluded.

## Related questions

1 vote
1
611 views
All people in a certain island are either 'Knights' or 'Knaves' and each person knows every other person's identity. Knights never lie, and Knaves ALWAYS lie. $P$ says "Both of us are Knights". $Q$ says "None of us are Knaves". Which one of the following can be logically inferred ... . $P$ is a knight; Q is a Knave. Both $P$ and $Q$ are Knaves. The identities of $P, Q$ cannot be determined.