質問: 集合論です。 「漫画を一切読まない学生がいる」は次のように表せますか。もっとelegantな書き方があったら教えてください。 {x|xは学生}∩{x|{y|yは漫画}⊆{z|xはzを読まない}}≠∅
回答: X : 学生全体 (全体集合) Y(⊂X) : 漫画を読む学生全体 と設定します。すると、 漫画を読まない学生が存在する ⇔ある学生が存在して、その学生は漫画を読まない ⇔∃x∈X s.t. x∉Y ⇔∃x s.t. x∈Xかつx ∉Y ⇔∃x s.t. x∈X\Y ⇔∃x s.t. x∈Yc ⇔Yc≠∅ どれでもいいと思います。