If the statement 'No lions are herbivorous animals' is given as true, which of the following can be immediately inferred to be true?

ASome lions are not carnivorous animals

BAll lions are herbivorous animals

CSome lions are herbivorous animals

DSome lions are not herbivorous animals ✓ Correct

Correct answer: (D) Some lions are not herbivorous animals

Explanation

From the true E No lions are herbivorous the O Some lions are not herbivorous follows.

In the square, E and O are related by subalternation, from universal to particular.

A true universal negative guarantees the truth of its particular negative.

Hence Some lions are not herbivorous animals is immediately inferred as true.

The contrary A and the contradictory I are both false here.

Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.