Correct option is B
1. Introduction:
The Square of Opposition shows the logical relationships among the four standard categorical propositions:
| Symbol | Form | Example |
|---|---|---|
| A | All S are P | Universal Affirmative |
| E | No S are P | Universal Negative |
| I | Some S are P | Particular Affirmative |
| O | Some S are not P | Particular Negative |
These four types are connected by contradictory, contrary, subcontrary, and subalternation relations.
2. Information Booster:
Let’s analyze what happens when each proposition is false
(A) ‘A’ being false → Result: (III) Truth is Undetermined
A = “All S are P”
If A is false, “Some S are not P” (O) might be true, but we can’t determine E or I with certainty.
Resultant: Undetermined truth (III)
(B) ‘E’ being false → Result: (IV) Truth is True
E = “No S are P”
If E is false, its contradictory (I = “Some S are P”) must be true.
Resultant: Truth is True (IV)
(C) ‘I’ being false → Result: (II) E is True
I = “Some S are P”
If I is false, its contradictory (E = “No S are P”) must be true.
Resultant: E is True (II)
(D) ‘O’ being false → Result: (I) E is False
O = “Some S are not P”
If O is false, its contradictory (A = “All S are P”) becomes true, and hence E (No S are P) must be false.
Resultant: E is False (I)
3. Additional Information (Summary Table):
| Proposition Given False | Logical Relation | Resultant Truth Value | Code |
|---|---|---|---|
| A (All S are P) | Contradictory with O | Truth undetermined | (III) |
| E (No S are P) | Contradictory with I | True | (IV) |
| I (Some S are P) | Contradictory with E | E is true | (II) |
| O (Some S are not P) | Contradictory with A | E is false | (I) |