The next three (03) items have two premises and two conclusions. If th

The next three (03) items have two premises and two conclusions. If the premises are assumed to be true (irrespective of factuality), then, in respect of each of the items given below, which of the following conclusions follow logically ?
Premises: All metals are grey in colour. Some metals are heavy.
Conclusions:

  • I. All heavy metals are grey in colour.
  • II. All light metals are not grey in colour.
Only I
Only II
Both I and II
Neither I nor II
This question was previously asked in
UPSC CAPF – 2015
Only Conclusion I follows logically from the given premises.
Premise 1: All metals are grey in colour. (M ⊆ G)
Premise 2: Some metals are heavy. (Some M are H)
Conclusion I: All heavy metals are grey in colour.
“Heavy metals” refers to the set of things that are both heavy and metal (H ∩ M). According to Premise 1, anything that is a metal is grey (M ⊆ G). Therefore, if something is a heavy metal, it must first be a metal, and thus it must be grey. So, H ∩ M ⊆ G. Conclusion I logically follows.
Conclusion II: All light metals are not grey in colour.
“Light metals” refers to the set of things that are metals but not heavy (M ∩ not-H). According to Premise 1, all metals are grey (M ⊆ G). This means *any* metal, regardless of whether it is heavy or light, must be grey. Therefore, light metals are grey. Conclusion II, stating that light metals are *not* grey, contradicts Premise 1 and is false.
This is a standard problem involving categorical syllogisms. Using Venn diagrams can also help visualize the relationships. Draw three overlapping circles for Metals (M), Grey (G), and Heavy (H). Premise 1 (All M are G) means the part of M outside G is empty. Premise 2 (Some M are H) means there is at least one element in the intersection of M and H. Conclusion I (All H∩M are G) means the part of (H∩M) outside G is empty, which is true because M is entirely within G. Conclusion II (All M∩not-H are not-G) means the part of (M∩not-H) inside G is empty, which is false because M is entirely within G, meaning M∩not-H must also be within G.
Exit mobile version