x∈(n∪Sn)c⇔x∈/n∪Snby the defn. of set compliment⇔∀n∈Ω,x∈/Snby the ¬(defn. of union of family of sets):=¬{x∣∃n∈Ω:x∈Sn} )⇔∀n∈Ω,x∈Sncby the defn. of set compliment⇔x∈n∩Sncby the defn. of intersection of family of sets:={x∣∀n∈Ω:x∈Sn}
드모르간의 교법칙 증명
(n∩Sn)c=n∪Snc
x∈(n∩Sn)c⇔x∈/n∩Snby the defn. of set compliment⇔∃n∈Ωsuch thatx∈/Snby the ¬(defn. of intersection of family of sets):=¬{x∣∀n∈Ω:x∈Sn}⇔∃n∈Ωsuch thatx∈Sncby the defn. of set compliment⇔x∈n∪Sncby the ¬(defn. of union of family of sets):={x∣∃n∈Ω:x∈Sn}
프레젠테이션은 따라하기 쉽습니다. mario games