공리를 부정해도 무모순임을 이용
1. 공리는 참이라는 증명이없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
논리학의 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
이 3대 공리를 부정해도 무모순
무모순이라는것은 논리적으로 가능함을 의미함
따라서
A=/=A 도 무모순이고
p and not p 도 무모순이라는 말임
p and not p가 참이라는건
명제와 명제의 부정이 둘다참이라는거고
이는 모든명제가 참이라는결론이 나옴
그런데 공리를 부정해도 무모순이라고 했으니
모든명제가 참이라는건 무모순임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
첫번째 댓글의 주인공이 되어보세요.