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

2024-09-23 14:13:57
조회수 859

모든 명제가 참이라는게 무모순인 이유

게시글 주소: https://d.orbi.kr/00069262949

1. 공리는 참이라는 증명이없다

2. 따라서 귀류법 증명도 없다

3. 따라서 공리를 부정해도 무모순



논리학의 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) 가 무모순


p and not p 가 참이라면


모든명제가 참이되고 모든명제가 참이라는게 무모순


모든명제가 참이됨이 논리적으로 가능함


0 XDK (+0)

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