edited by
4,167 views
13 votes
13 votes

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 by

2 Answers

Best answer
27 votes
27 votes

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\neq 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: 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 by
6 votes
6 votes
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.
Answer:

Related questions

8 votes
8 votes
2 answers
2
Akash Kanase asked Feb 12, 2016
3,819 views
Pick the odd one from the following options.$\text{CADBE}$$\text{JHKIL}$$\text{XVYWZ}$$\text{ONPMQ}$