물체를 이루는 구성원소가 없으면 물체가 존재안함


물체=구성원소의 모임=구성원소의 집합=집합 


구성원소=원소


집합을 이루는 원소가 없으면 집합이 존재안함


즉,


공집합이 존재안함


공집합이 존재안하면 공집합이 모든집합의 부분집합이 될수없음


따라서 공허참이 거짓이 됨


따라서 전건이 거짓인 명제가 거짓이됨


따라서 거짓<->거짓 이 거짓이됨


따라서 거짓=거짓이 거짓이됨


따라서 거짓=참 이 참이됨




전제가 참이면 결론이 참


대우명제는


결론이 거짓이면 전제가 거짓


이말은


결론(거짓=참)이 거짓이면 전제(공집합은 존재안함)이 거짓


전제(공집합이 존재안함)가 참이면 결론(거짓=참)은 참



나는 공집합이 존재안함을 처음 4줄에서 증명했으므로


결론인 (거짓=참)은 참