[공리를 부정하면 무모순]의 응용
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법증명도 없다
3. 따라서 공리를 부정해도 무모순
4. 따라서 공리를 거짓이라해도 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률이 거짓이라 해도 무모순
[(A=A)가 거짓]<->[(A=/=A)가 참]->무모순
무모순율을 거짓이라해도 무모순
[(not(p and not p))가 거짓]<->[(p and not p)가 참]<->[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.