Question
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?
(i) Ooty is not a hill-station.
(ii) No hill-station can have more than one lake.
Official answer and solution
- Official answer
- D
- From
- Official GATE 2016 answer key
Solution
Formalize the premises using predicate logic to verify whether either conclusion is necessarily valid.
Given premises:
- "All hill-stations have a lake." In predicate logic:Here, having "a lake" means having at least one lake . It does not restrict the number of lakes to exactly one, nor does it state that only hill-stations have lakes.
- "Ooty has two lakes." That is, .
Evaluate statement (i): "Ooty is not a hill-station."
Since Ooty has 2 lakes, it satisfies the condition of having at least one lake. It is entirely possible that Ooty is a hill-station, or that it is not. The premises do not entail that Ooty is not a hill-station. Thus, (i) cannot be inferred.
Evaluate statement (ii): "No hill-station can have more than one lake."
The premise states that every hill-station has at least one lake; it sets a lower bound, not an upper bound. A hill-station can certainly have multiple lakes without violating the premise. Thus, (ii) cannot be inferred.
Therefore, neither (i) nor (ii) is logically valid.
D
Interpreting "have a lake" as "have exactly one lake", or committing the fallacy of denying the antecedent.
The answer is the one in the official GATE answer key. The solution is this site's own explanation.
Source
- Paper
- GATE 2016 Computer Science and Information Technology (CS) Session 2
- Question
- 8 of 65, printed as GA Q.8
- Section
- General Aptitude
Report an error in this question
GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.