[대학교이상] 진리표 사용해서 집합론 증명해도됨?

[익명(121.162)]

드모르간법칙 진리표 사용하니 증명 훨씬 쉬워지는데

[익명(221.145)]

명제 논리의 식의 타당성을 증명한다는 말이겠지?

[익명(121.162)]

그러니까 두 집합이 같음을 보이는거

[익명(221.145)]

두 집합의 서로 같음 자체는 명제 논리의 진리표로 증명하지 않을 텐데?

[익명(121.162)]

그런가? ㅇㅋㅇㅋ