Premises: (1) All windows are doors (W ⊆ D). (2) No door is a wall (D ∩ Wall = ∅). Conclusions: (I) No window is wall. (II) No wall is door.
Concept/ApproachUse subset chaining and properties of ‘‘No’’ (E-type) propositions, which are convertible: ‘‘No A are B’’ ⇒ ‘‘No B are A.’’Deriving Conclusion ISince W ⊆ D and D shares no elements with Wall, W shares none with Wall. Hence ‘‘No window is wall’’ follows.Deriving Conclusion IIFrom ‘‘No door is wall’’ (No D are Wall), by conversion of an E-proposition, ‘‘No wall is door’’ holds. Hence II follows.Common pitfallsForgetting that E-statements are symmetric; both directions are valid.Final AnswerBoth I and II follow.
Discussion & Comments