It seems this way because
- only one and one alone must be true
- 1 $\implies$ both cannot be true
- 1 $\implies$ together cannot be false
- 1 $\implies$ individually propositions can be false
Truth Table below
A O A ex-OR O
0 0 0
0 1 1
1 0 1
1 1 0
Please check if my analysis is true. If yes, does any book have this ? Copi and Tidman do not seem to have it. I have truth table for other square of opposition relationships too but wanted to start by asking this question.
See Square of opposition: the relation of contradiction between "All S are P" and "Some S are not P" is an "exclusive" relation.
The two are contradictory and