아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
올해 화작에서 언매로 바꿔서 공부 시작하려는데 고민이네요... 둘중에 누가 더...
-
현역 재수 삼수 라인 16
현역 : 경기대 , 명지대 재수 : 경희(국제) 어문 , 동국 어문, 홍익 사범...
-
이성아니면 딱히 의미없다고 생각함 동성끼리 같이 밥먹어서 머하게
-
패논패 과목이라고 걍 버려버리는 짓도 안 할거임... 20학점 신청했는데 패논패...
-
어그로 ㅈㅅ 수특수완 어떤 과목 풀건지 적어줘요
-
걍 기본검정살까
-
레전드노 ㅋㅋ
-
재종학원을 위해서라니
-
ㄹㅇ
-
모솔=(연애) 노베이스 노베면 678등급..? 이렇게 생각하자니 어.. 심각한데
-
갑자기 밀려오는 자괴감이에요
-
ㅇㅇ
-
아 집 갈까? 6
와서 쳐먹고 오르비만 할거면 카페 왜 왔냐? 시발...
-
흠
-
40명정도 되는 공대인데 한학년 위 선배 마주칠일 있나요??
-
-
저능대결 8
공군안가고 육군감
-
배불러 3
역시 배고픈 소크라테스보다 좋네요
-
wrc 재밌음? 1
함 입문해 볼까
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다