쿠쿠리 [1310649] · MS 2024 (수정됨) · 쪽지

2025-02-10 10:23:06
조회수 712

제발.. 오르비 천재님들.. 도와주십시오..

게시글 주소: https://tcgjztg.orbi.kr/00071901928

1. (A가 거짓->모순)->(A가 참이라는 증명이 있음)


1번은 귀류법이고 참


1번의 대우명제는 2번


2. (A가 참이라는 증명이 없음)->(A가 거짓 and 무모순) 


2번이 참이니 3번이 참


3. (A가 참이라는 증명이 없음)->(A가 거짓) 이 참이고


3번의 대우는


4. (A가 참)->(A가 참이라는 증명이 있음)



3번과 4번에 공리를 대입하면


(공리가 참이라는 증명이 없음)->(공리가 거짓)


(공리가 참)->(공리가 참이라는 증명이 있음)



원래 공리는 참이라는 증명이 없으니, 공리가 거짓이고


원래 공리는 참이라고 하니 공리가 참이라는 증명이 있음

0 XDK (+0)

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