GATE 2016 CE (CE2) – Question 8
Fact 1: Humans are mammals. Fact 2: Some humans are engineers. Fact 3: Engineers build houses. If the above statements are facts, which of the following can be logically inferred? I. All mammals build houses. II. Engineers are mammals. III. Some humans are not engineers.
Practise this question in The GATE Grind →
Show answer and explanation
Correct answer: (B) III only.
Explanation
The official key selects **III only, B**. This uses an informal reading of some humans are engineers as some but not all, yielding some humans are not engineers. Under strict predicate logic, some asserts existence without excluding all, so III does not necessarily follow; I and II also do not follow from the given subset relation. Preserve B for grading while recognising this assumption.