아니 님들아 이거 진짜 혁신적인거 아님?
게시글 주소: https://sex.orbi.kr/00071410703
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가봄 3
1시간 후에 옴
-
아 그냥 아예 사지 말까..?아님 어차피 최저학점 들을 거니까 살까..무튼모고 없이...
-
교과100인 학교들 대학 어디가 돌려봤는데 이 중 올해 입결상 붙을만한 곳 있나요?...
-
진심이다
-
풀리는 문제임?
-
만원 한장 들고 나가 먹을래면 햄부기나 중국집 이외엔 선택지가 없는듯
-
근데 학벌 비루해서 잘 못구하긴할듯
-
환경이 잘못된거에요 ㅜㅜ 인증을 마음대로 할 수 있는 세상을 만들던가 ㅜㅜ
-
이제 갤탭만 오면 본격적로 글을 써볼거예요
-
비틱 8
틱틱틱틱틱틱틱틱틱 틱 틱 틱 틱 틱 틱 틱 틱
-
애초부터 과외 찾으려 가입해서 그런지 민도(?)가 더 좋음 . 당근이 진상 비율 훨 많음
-
진짜 신중하게 연애 시작해서 한 사람과 한 3-4년 사귀다가 26-27살에 결혼하기
-
기만 ㄴㄴ 비틱질 ㄴㄴ ㅋㅋㅋㅋㅋ
-
ㅈㄱㄴ
-
진짜 레전드노래임
-
노래를 잘부르고싶다 13
시원시원한 고음으로 좋아하는 노래들을 부르고싶다... 현실은 음치다...
-
포레스트 검프 같은 사랑을 해야겠어요
-
레이저 6/10회째인데 흉터가 아직 잘 안지워지네 12
흑흑 좇된건가
-
ㄹㅇ개무서운데... 아니 계속 쓰레기 단속한다하거 자기엄마?가 이병헌 비서라고하고...
-
뭔일이 있었길래
-
공부관련만 잇는 줄
-
안녕하세요 2
클릭해주셔서 감사합니다. 무쏘이입니다.
-
옯비언들 고마워
-
놀랍게도 진짜임..ㅋㅋㅋㅋ 이걸로 애니입문하고 그대로 씹덕됨
-
풀이과정싸그리다교정해서레전드천재만들어서수학100점받게하고 대학보내기
-
찹쌀떠어어억 찹쌀떠어억 후욱
-
윤통 홧팅!!
-
베베체입니다 베베
-
나도 소개팅받고싶어서울엇어
-
베베가뭐임뇨 21
뭐야대체
-
수술하고 2주동안 방구석에만 있었더니 체중계가 고장이 난 것 같음 새로 사야지
-
커뮤애 글쓰면서 남한테 피해만 안주면 되는거지 씨익씨익… 아싸들의 전용 공간인...
-
절 떠나지 말아요 제발..
-
맴돌아 허..ㅠㅠ 날 괴롭게 한 모 오르비언..
-
이거 메인가면 25화1수특 태워야겠다
-
윤석열 여론조사 1
ㄱㄱ
-
친구보다 말 잘 통함
-
한마디
-
10
-
서울 용산구 한강대로48길 16 2층 새로운 아프리카 식물샵이 오픈해서 내일...
-
뭐하지 9
롤 해야되는데 나도 뭐라도 하고싶네
-
나도 이제 아재가 다 된 것인가 베베
-
고2 모고 2등급 중반~후반 나오는데 믿어봐 문장편 지금 듣기엔 너무 늦었나요,,...
-
나도 ㅇㅈ 5
잠시 예고 가는게 목표인 시기가 있었음
-
동기부여좀 해줘요 내신때 그렇게 최선까지는 안다해서 수능 진짜 미친놈마냥 하자고...
-
입문N제보다는 쉬운가요?
-
김승리 대기 0
대치 두각 일요일 1:30 반인데 350번대면 올오카 끝즈음엔 들어갈 수 있나요?
-
2월부터는 ㄹㅇ 열심히 해야할듯 슬슬 쫄림 ㅋㅋㅋㅋ 그리고 내신할때 촤선을 다하지...
-
갑자기 머노 1
저렙 노프사단의 습격ㄷㄷ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다