증명된 사실을 부정해도 무모순 임을 증명
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다른 두명이랑 약속잡아서 그 둘을 만나게 하는건 재밌을 것 같음
-
육덕테스트 좀 이상함 12
연애0회에 번따0회인데 왜 b임?
-
감사합니다.
-
예?
-
지금 김승리 올오카 독서문학 매월승리 하고 있는데 국어가 약해서 더 하고 싶어서...
-
몰랐네
-
다 밥약이였음 그래서 첫인상 물어보니까 하는 말이 “오르비 할 것 같이 생겼어요”...
-
이건 거의 유니콘 아닐까
-
언매 양 4
생각보다 적은듯??
-
집밖으로 몬나가면 어캄..
-
그치만 자산으로 커버가 된다면 이츠오케이입니다
-
암산 개모타네 5
사실 수능때도 초2식 계산함.
-
반응속도가 얼마나 빠른거야
-
챗지피티가 이렇게 적으면 어그로 끈대
-
답변완뇨.
-
물리가 재밌다는게 다른 수능 과목에 비해서 재밌다는거죠? 막 롤이나 유튜브...
-
탈릅했나 그런 의미로 님들이 저 팔로우걸어주셈뇨 맞팔
-
피부과시술 + 얼굴형관리 먼저해보셈 다이어트랑 남녀공통 저거 다 조지면 길가다 돌아볼정도 가능
-
화1 지랄났다
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다