아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
왜냐면 합격한적없음..
-
빈티지룩 2
얘 왜케이쁨 잘어울리는 여자가 입었을 때가 걍 레전드임
-
사실 전 8
기타(통+일렉) 베이스 드럼 건반 다 됨 보컬이 문제임 심각한 수준을 넘어서서...
-
닉추천 3
남고에 빡빡이인데 어울릴만한거 추천좀 ㄱㄱ
-
머리 짧았을땐 잘생겼었나 기억이 안나네 근데 지금은 음 잘모르겠던데 태오였나...
-
여친 눈만 ㅇㅈ 8
-
일단 내신은 전교과 2.0.. 기가한문중국어정보 제외 1.87입니다 과중 출신 물리...
-
보인다 보여 3
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣴⣾⣶⣦⣤⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⣾⡿⡛⠝⡛...
-
국어는 수능1-2정도 나옴 수학은 6 거의 첫장이랑 단답형 3개 풀고 찍고...
-
저의 사랑을 드려요
-
고닉들 다 가버렷어 내가 똥이냐?
-
기하런하기
-
잘자 7
응
-
무심코 여자가 나 발견했으면 좋겠다는생각 나만해봄?
-
메타전환 ㅇㅈ 2
사실 정치성향 테스트라네요
-
던힐 말골만 돌려피는데 권태기 온 것 같음
-
ㅇㅈ 문화 4
어디서 나온거임? 대체??
-
오르비에서도 아싸라 쪽지가 안 오는거임 내가?
-
잘자요 6
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥