구성원소가 없는 물체는 존재하지 않는다


구성원소=원소


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


원소가 없는 집합은 존재하지 않는다


따라서


공집합은 존재하지 않는다


거짓의 진리집합이 공집합인데 공집합이 존재하지 않으면


거짓의 진리집합이 존재하지 않음


존재하지 않는 진리집합이 다른집합의 부분집합이 될수는 없으므로


거짓을 전건으로 가지는 명제는 거짓이 됨


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


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


따라서 거짓=참 이 참이됨



전제가 참이면 결론이 참


대우명제는


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


(거짓=참)이라는 결론이 거짓이라면


전제인 (구성원소가 없는 물체는 존재하지 않는다) 가 거짓


전제가 거짓이라면 전제의 부정이 참


전제의 부정은


(구성원소가 없는 물체 and 존재함) 이고 이 명제가 참


p and q가 참이면 p->q가 참


따라서


(구성원소가 없는 물체는 존재함) 이 참


구성원소가 없는 물체는 현실에 존재하지 않음


현실에 존재하지 않는 물체가 존재하는곳은 마음속임


따라서


(구성원소가 없는 물체는 존재함)를


(현실에 존재하지 않는 물체는 마음속에 존재함) 로 바꿔쓸수 있음


(현실에 존재하지 않는 물체는 마음속에 존재함)의 대우명제는


(마음속에 존재안하면 현실에 존재하는 물체다) 임


내가 유니콘을 몰라서 마음속에 유니콘이 존재안하면 현실에 유니콘이 존재함?


아님.


따라서


(마음속에 존재안하면 현실에 존재하는 물체다) 는 거짓


대우관계인


(현실에 존재하지 않는 물체는 마음속에 존재함) 도 거짓


바꿔쓴 


(구성원소가 없는 물체는 존재함) 도 거짓


p->q가 거짓이면 p가 참이고 q가 거짓이므로


p and q가 거짓이됨


따라서 전제의 부정인 (구성원소가 없는 물체 and 존재함) 가 거짓이됨


전제의 부정이 거짓이므로


전제가 참


전제가 참이므로 결론이 참


따라서


(거짓=참)이라는 결론이 참