쿠쿠리 [1310649] · MS 2024 · 쪽지

2024-10-17 09:02:08
조회수 634

[공리를 부정하면 무모순]의 응용

게시글 주소: https://i1000psi.orbi.kr/00069516306

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)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.


  • 첫번째 댓글의 주인공이 되어보세요.