모든 명제가 참이면 무모순임을 증명
게시글 주소: https://orbi.kr/00069265597
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률
[(A=A)를 부정]<->[(A=/=A)가 참]
A=/=A이면 무모순
따라서
A=/=A는 무모순
무모순율
[(not(p and not p))를 부정]<->[(p and not p)가 참]
(p and not p)이면 무모순
(p and not p)가 참이고
공리를 부정하면 무모순이기 때문에
[(p and not p)이면 무모순]은 전건과 후건이 모두 참임
즉,
(p and not p) and 무모순
즉,
모든명제가 참이고 무모순이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이것도 벅찬데 딴 애들은 더 많이 하는 거 같길래여.. 이감모고 동그라미 치는 거 까머금ㅇㅕ
-
블러 러시 스웨이드 하고싶은데 맨날 게이식스 실리카게이같은거 해야함 ㅜㅜ
-
콘서타 식욕감퇴 2
초반엔 몰랐는데 요즘 너무심해서 한달동안 저녁만 고기랑 밥 반공기 먹었더니 한달만에...
-
오르비에는 3
투자 하시는 분들이 얼마나 계시려나.. 참고로 전 주식 채권 코인 다 합니다 ㅎㅎ
-
올해는 누가 이적할까?
-
왜 대댓 합쳐서 5개까지 밖에 못 하나요..
-
언매 6모 95 9모 97 미적 6모 92 9모 96 (2/3+4/3=3이라고...
-
기출 그 이상을 지향하는건 당연한건데 왤케 과하다는 느낌이지? 특히 배기범 s2...
-
맞팔구 4
2명 더 구해요 은테를 가기 위해
-
막상 오답노트 만드려고 하면 ㅈㄴ 시간낭비 같은데 그렇다고 오답노트 안만들면 분명...
-
씨발 할수있다!!가즈아!!!!재수는 없다!!!!
-
6/9평 2고 유지가 관건인 상태 지금 하고 있는 건 평가원 사관 간쓸개 딱...
-
제 생각) 구하는 것이 정사영의 넓이니, AMN의 넓이와 PAM과의 이면각의...
첫번째 댓글의 주인공이 되어보세요.