아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
219일이라.. 7
한참 남았네
-
바운스볼 사이터스 디모 오버워치(출시때부터 20년도쯤까지...옵2 나오면서 접음)...
-
내일부터는 일상으로 복귀하고 학점도 챙겨야겠지요.. 군대도 가야하네 곧
-
데이트하러가기로함 11
바지랑 데이트임
-
제 최애짤임 페이커 쪼낙만큼 좋아함 진짜 너무 귀여워 해보신분 있으면 후기좀 알려주셈
-
안녕 해원누나야 7
-
나 못생김 9
nail 생김
-
다들 대단하십니다..
-
친구한테 왜 이렇게 잘 찍었냐고 칭찬 받앗어요 오늘도 행복하게 잘 수 있겠다
-
배가 다시 아파짐. 야메추
-
ㄹㅇ 수석임 나는
-
1회용 사서 세이프함.. 하 너무힘들어
-
정상화된거 아니었냐..
-
이거 외워야함 9
1001=7*11*13ㄹㅇ임,
-
저게 가능한가 사람인가 싶던 점수들 이제 내가 다 이겨버렷음 사실 아직 못 이긴 사람도 잇음
-
사실 초 엘리트 ms 영재반들의 활약임
-
PPT 만들기 끄읕 14
이제 쉴래요
-
머리잘라야지
-
인증함 6
ㅇ.
-
뭐 어때~
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다