[무슨말을 하던간에 다 무모순] 증명
게시글 주소: https://i9.orbi.kr/00069458109
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
모든것을 부정해도 무모순임을 증명함
----------------------------------------------------------------------
따라서
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
거의 안된다고 봐야겠죠.....? 정말 가고 싶은 곳이 있었어요
-
생명지구 3
얘네 컷 더 오를 가능성 있을까요? 지구는 오를 것 같은데 서연고서성한중경외시 생명 지구
-
서성한 공대나 경북대 모공 가능할까요?ㅠㅠ
-
ㅇㄷㄴㅂㅌ
-
대단하지 않아요? 왜 쌍지 다들 안하는거에요? 일반사회먼 2년하다 수능끝나고 문득 든 의문
-
한국사 1이에요 한문 5
-
저는 독서론 풀때 밑줄 그으면서 읽으니까 내가 밑줄긋기에 대한 내용을 밑줄그으며...
-
언 95 90 86 화 98 93 89 자살하면 됨?
-
가채점 문의 0
성의,연의,경희의,중의 중에서 가능성 어디까지 있을까요?
-
잠온다 6
-
연논 인문 1
대체 연논 인문은 왜 발표 안하는건지 모르겠음 입학처에 전화하셨다는 분의 말에...
-
인논 사회논 귀찮음..
-
아까도 글 썼긴한데 과탐때문에 망했거든요... 생지 6,9평 둘 다 2나오다가...
-
중대는 탐구1이라 안될것 같고 성균관대 는 탐구2개 가능해서 될수도 있지...
-
사는사람도 많네
-
작수65444에서시작했는데 국어를 최하점수를 맞게되서 고민입니다.. 그냥 성적맞춰서...
-
부산대 화공이랑 국숭세단 높공이나 자전 중에 붙으면 어디가심? ㅠㅠ
-
진짜 심란하다 2
아진짜심란하다
-
생명 39인데 최저 땜시 무조건 3 나와야돼서요…ㅜㅜ 지금 3컷 37 정도던데...
-
사수생 친구한테 7
친구가 올 수 치고 사문을 3개밖에 안 틀렸는데 그게 너무 신기하다는거임..자기는...
-
그게 내년 신입학 등록금이 될텐데... 약대 팔던가.
-
ㅈㅂ 어케해여함 43333 이케나오는데 수학이랑 국어 진짜 ㅈㅂ 어케해야하는지...
-
어그로 ㅁㅌㅊ인가 ㅋㅋㅋㅋㅋ 메디컬 편입은 다 기본 서연고인줄 알았는데 (인터넷...
-
시간관리때문에 지문형 문법을 전략적으로 찍는 전략써서 그렇지 한 20분 잡고...
-
본인얘기임 듣기랑 무관한 문장 빈칸 2개 틀려서 1컷 겨우받음..
-
아까워
-
고논 수리 12:30 30
딱히 쉽다는느낌 안들었는데 나만그런건가
-
베이스도 잇고 표점도 유구하게 화작보다 더 잘 나왔었으니까 관성으로 선택하게 되는...
-
시대 수리논술 0
시대 수리논술 파이널을 다닐려고 하는데요 인하대 이공반을 다닐려 하는데...
-
왜 13명 왔냐??
-
뭐 있나요? 행정 경제만 피하라던데
-
재수추천 0
완전 지금까지 수시올인이었고 최저만 맞출려고 영어 탐구만 깔짝깔짝 해댔는데 지금...
-
가나지문 실수한거 하나는 잡았는데 독서론이랑 언매 암살당해서 5점날라감 얼탱x
-
졷됐거든요 지금
-
6평 91 96 3 50 44 9평 96 100 1 50 48 수능 96 100 1...
-
조유리판박인데 끝나고 번따박을까 ㅋㅋㅋ
-
우울증으로 장애등급 받아서 장애인전형 쓰는애도 있음 서성한부터는 미달나서 그냥...
-
기하와 벡터 2
내년에 본다면 기하와 벡터
-
미적이냐 기하냐 0
흠
-
그래도 변별할꺼리가 좀 있지않나요....? 1번에 삼차함수 극대극소...
-
국어 소신발언 7
풀고 20분 남았음 물론 검토 해도 틀린건 못잡고..
-
경희대 진학사 돌려봤을때 자유전공학부는 최초합뜨는데 전자공은 3칸뜨는데 정상인가요?
-
.
-
과는 진짜 상관없고 문과 국숭세단은 정말 가면 삼수할 거 같아서 건동홍은 확보...
-
국어 가채점 안하니까 ㄹㅇ 정신병 말기 될거 같음
-
경한논술입갤 4
내가 들고온거? 수험표, 신분증, 25수능샤프.
-
항공대 0
입갤
-
이거 다 봐야지 1
일단 놀아보자
메모장에 이런 내용만 몇 백 개 있다가 원할 때 복붙해서 쓰나보네
워처케 와라치?
이거 할시간에 수학했으면 1등급도 받았겠네
수학도 그렇게 실력 안는다던데 논리학 이해할 머리는 되실런지 몰라~
난 니들이 빠는 기성논리학같은건 추구할생각없음 그냥 내꼴리는데로 논리식만들고 그 논리식의 부정,귀류,대우 를 취할뿐임
그니까 그럼 그냥 메모장에다가만 적어놓고 혼자 보면서 꼴리고 있어
왜 다른 데 들쑤시면서 물이나 흐리고 다니는 거야
내가 맞다는걸 증명하기위해
너가 아무리 짖어봤자 기성논리학만 추구하는 저희 범부들은 이해하지 못하니 그냥 이세계로 떠나주세요 ㅠㅠ
그냥 증명을 보이고 싶으면 논문을 써
듀그란말임?
ㄴㄴ 그냥 다른 곳으로 가라고
뭐 어디가 됐든 ㅋ
기성논리학충들이 내 논리를 인정할 이유가 없음
근데 왜 자꾸 여기저기 들쑤시면서 난리치는 거임?
너도 그 사실을 아는데
그냥 말동무가 필요한 거지?
현실에서 이렇게라도 말 나눌 사람 없으니까
보니까 유레카 채널에서 그냥 조언만 해주니까 재미없어서 글 더 안 쓰는 것 같은데
말싸움도 좋으니까 다른 사람하고 얘기 좀 해보고 싶었어?
난 말싸움 싫어함
거짓말 ㄴㄴ ㅋㅋ
진짜임
"[무슨말을 하던간에 다 무모순]이라는 명제는 거짓이다"
라는 명제도 무모순이겠네요.
네
네. 수고하세요