( A fark B ) = ( B fark A ) <=> A=B olduğunu ispatlayınız. ( Soruda ki fark ''/ '' bu işaretin sola yatık hali.)
A=(A∖B)∪(A∩B)=(B∖A)∪(A∩B)=B.
Ayrica aradaki birlesimler ayrik.
Diğer bir yol şöyle olabilir.
x∈A≡p ve x∈B≡q diyelim. Bu durumda
[(p∧q′)⇔(q∧p′)]⇔(p⇔q) bileşik önermesinin totoloji olduğunu göstermek yeterli olacaktır.