논리학 질문좀 받아주셈..
게시글 주소: https://orbi.kr/00078777248
공허한 참이 전건이 거짓이면 후건에 뭐가오든 명제전체가 참이라고 알고있음
예를들어
p가 거짓이면
p->q 는 참이란거임
그럼, 후건에 뭐가오든 상관없다고 했잖음?
그럼
p->모순
이명제도 참이잖음?
근데, 이건 귀류법이잖음?
그럼 not p가 참이란말아님..??
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다들 잘자요 3 0
오?늘도 화이팅
-
가채점표 왜 강제임;; 4 1
그냥 빈 곳에 칸 나눠놓고 크게크게 쓰는게 좋은디… 공식이 왜 멋대로 붙여서...
-
그냥 1일라나 하 수학도 발목잡네
-
옯평down 6 0
남자임
-
둘이서 서로 대화 많이하고 자주 보고 따로 연락하고 따로 만나도보고 그러다가...
-
오르비개선햇으면좋겟는거 7 0
쪽지할때 오르비이모티콘을 슬수잇게해주세요
-
걔는진짜 3 1
딱오잖아?
-
옵뿡이들 내가 라멘 좋아하는거 알지? 12 0
빨리 포장해와
-
홀란드 골 2대1 2 0
85분
-
그냥 빨리 끝났으면 좋겠다 4 0
과탐 더 안하고싶어 생2 역겨워
-
여친 ㅇㅈ 6 0
-
재탕 할려면 기억하고 있어서 5 1
할 사진이 없어 안 궁금하겠지만
-
2프로 6 0
지금 폰 배터리가 2프로...
-
옷을어떻게입을지모르겟어서 4 0
그냥안입고다님
-
상위과목반영이런거면
맞아요
그럼;;거짓명제 아무거나 전건으로 붙이면 다참됨..?
사실 잘 모르지만 님이 맞는거 같아요.
쿠리 아카라이브 논리학 채널로
네.
p가 거짓이면 p->q 는 참
따라서
p(거짓)->r(모순) 도 참입니다.
모순 명제는 '거짓'이므로
p(거짓)->q(거짓) 이 참인 것과 마찬가지입니다.
귀류법은 p를 가정했을 때 모순이 도출되면 ~p가 참인 걸 말합니다.
이는 'p(거짓)->r(모순)'이 참이라는 것과 부합합니다.
p->r 을 가정했을 때,
p를 가정하면 p->r라는 가정에 의해 r(모순)가 도출되죠.
p를 가정했을때 모순이 도출되니 결과적으로 ~p가 참이 됩니다.
그러니까 ~p가 참이라는 님의 결론이 맞습니다.
당연한 것이 맨 처음 전제가 'p가 거짓'이라는 것이었으니, p가 거짓이면 ~p는 참이겠죠..
뭔가 이상해서 질문하신 것일 텐데 뭘 이상하게 여기신 건지 모르겠네요.
솔직히 말하자면 거짓명제가 참이되는줄알았음요..