아니 님들아 이거 진짜 혁신적인거 아님?
증명은 공리에서 결론을 도출하는 것.
공리(전제)가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
이말은 귀류법 증명도 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓, 공리가 거짓이면 무모순
줄여서
결론이 거짓이면 무모순
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 공리로부터의 도출인 결론임
따라서
모든 참인명제는 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
집밖으로 몬나가면 어캄..
-
고3인데 수학을 거의 안하다가 이제 수꼭필 듣고 시빌점 들으려고 하는데 쎈도 같이 해야하나요?
-
-
승리의 언확사지단 모여라 사문지구 사문지1 지구사문 사1과1 과1사1
-
안 망한다는게 근거가 뭐임?
-
그런 건 없다 게이야.... 장난은 여기까지고, 본인은 고1 3모부터 고2...
-
잇올 비싼거같던데 러셀 자습관 같은데만 쓸 수 있나
-
ㅇㅇ
-
머풀어야댐 간쓸개? 그것도 시즌 여러개던디
-
라고 쓰면 조회수 늘어난다함
-
돈 열심히 벌어야지
-
가군 전추 넘어가기 전에 내가 붙어서 의대 합격증을 받을 수가 있냐가 너무 궁금함
-
질문해줘 38
심심해
-
챗지피티가 이렇게 적으면 어그로 끈대
-
ㅈㄱㄴ...
-
이천 시골에 룸메 있는 방이 왜 150 이냐 룸메비용임?
-
오팬무? 9
ㅈㄱㄴ
-
집밖에 못나감 2
나가자마자 배가 꾸르륵함 큰일낫다
-
물리가 재밌다는게 다른 수능 과목에 비해서 재밌다는거죠? 막 롤이나 유튜브...
-
스블만 해도 3
개념이나 스킬적으로 모자랄건 없을 것 같은데 허들링은 뭐지 김준쌤 필수이론이랑 크포 느낌인건가
-
다시는 안올 역대급 뭐 사지도 않았는데 왜이렇게 많이썻지 이번달에 산거 좀 팔아야겠네
-
오ㅑ케 그지같지... 전에 누구 좋다 이랬는데 중국인 루머 돌때였는데 짱깨는좀...
-
나 돌대가리구나 분수에 맞게 사문이나해야지
-
현역들 진짜 슬슬 오나 10
흐흐흐
-
풀었던 문제 중 안풀렸던거 다시풀어보는 과정도 필요하죠? 다시풀어보는 이유는 뭘까요?
-
탈릅했나 그런 의미로 님들이 저 팔로우걸어주셈뇨 맞팔
-
한강물 정수해서 팔면 서울시민 내 오줌 먹는거 아님? 5
라고 챗gpt가 쓰래요
-
합답형이 재미는 있었음 11
대부분이 ㄱ,ㄴ,ㄷ 5번을 정답으로 삼고 있는 문제들이 많았는데 대부분 1번 ㄱ...
-
Valley ai 진지하게 투자 공부하고싶은 사람이면 ㅊㅊ 가볍게 보기엔 좀 비쌈
-
상온 양자역학 발견 10
상온 수학 발견 상온 물리학 발견 상온 중력 발견
-
열매 안 먹어도 짜피 수영은 모다는데
-
개서리같음 얘만머리에안들어옴
-
네 접니다
-
좋아하는 가사들 3
꽃에 망령 - 나는 그리고 있어, 눈에 비친 것은 여름의 망령이야 구두의 불꽃 -...
-
수능수학이랑 비교하면 난도가 어떤가요??? 검색해보니 어려운4점문제보다 어려운...
-
07 인강 고민 9
결국 메가패스를 끊엇습니다.. 수학은 현우진선생님 들으려는데 수1 수2 는 아마...
-
아 서울대 경제학과 가고싶다 -> 그래도 문돌인데 1년 태우는게 맞나 -> 내가...
-
정시 화미동사사문 수학 (작수2컷) 국어 영어 못함 천문우주학과 대충 32311이...
-
주왁구 옥주희 하고싶은데 아직도 9일이나 남았다
-
당연한소리긴한데 9
영어공부 ㅈㄴ하기싫어도해야겟지..? 3따리라면..? ㅈㄴㅈㄴㅈㄴ하기싫
-
-
아니 큐브 행렬 뭔데 16
야
-
갑자기 질문 동시에 세 개 뜸
-
ㅇ
-
ㅎㅇㅎㅇ 0
-
아니 난 행렬 모른다고
-
강k 32개짜리 서바 28개짜리 이런거 벅벅하고싶은데 답지랑 문제지랑 따로노는거...
-
제이팝 추 0
-
제 고3계획임 9
일단 수학 공부 제대로안해봄 한지빼곤 다 내신1~2받앗던과목들임 수학포함 한지는...
-
언제 메가로 이적한거지ㅋㅋㅋㅋㅋ
쿠하~ (한번도 글을 전부 읽은 적이 없음)
후엥
캬 이거 맞음
공리가 참이면 결론이 참이에요?
원래는 "전제가 참이면 결론이 참이다"에서 변형한거임
전제가 참이라도 결론이 거짓일 수 있는거 아닌가요?
연역추론을 할때 전제가 참이면 결론이 참이라고 어디서 주워들음
전제가 참이라도 추론과정이 틀리면 결론은 거짓 아닌가요
연역논증을 쓰고, 그 연역논증이 틀리지 않았다면 전제가 참일때 결론이 참이라고 들었습니다