디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

ㅇㅇ횽 명제 하나만 더 질문 ㅜㅜ

야간편돌이(175.196) 2013.03.15 03:35:51
조회 179 추천 0 댓글 21

수학갤에 올렸는데 그 갤 사람들이 너무 없어서리..

복붙하께용..

12. 부정논법이 유효한 추론임을 진리표와 벤 다이어그램을 이용해 보이시오.
 (~q∧(p->q))->~p

이거 풀어봤는데
p q
T T
T F
F T
F F

((~q∧p) -> (~q∧q)) -> ~p

((~q∧p) -> F) -> ~p

여기까지 나와서 
p q (~q∧p)    (~q∧p) -> F    ((~q∧p) -> F) -> ~p
T T      F                  T                              F
T F      T                  F                              T
F T      F                  T                              T
F F      F                  T                              T
이렇게 나오는데 제가 푸는방식이 틀린건가요??
이 문제에서 [부정논법이 유효한 추론임을 보이시오] 라는게 무슨뜻인가요??
유효한 추론이 아닌걸로만 보이는데..
부정논법이 뭔지도 몰겠고 유효한 추론임을 보이라는게 뭔지도 모르겠어요
책봐도 어디나오는건지 지금 푸는 문제가 예제로 나온건 없고
인터넷 검색하면 이산수학이 아닌 논리학 관련된것만 너무 나와서.. ㅠㅠ






1. 여기서 뭐 p,q가 T,T 일 때 거짓이 되니 유효한 추론이 아니다 라고 해야하는거??

2. 부정논법이 유효한 추론임을 보여라 에서 부정논법인 이유는 마지막 결론이 ~p라서 부정논법이라고 하는건가요?

3. 추론 배울때 전제가 참이라는 가정 하에 뒤의 결과가 같으면 유효한 추론이랬는데
(~q∧(p->q)) 이게 T일때 -> ~p 요런 식을 붙이면 항상 T값이 나와야하는건가요?
그럼 1. 에서 질문한 p,q가 T,T일 때 전제조건은 T인데 결론은 거짓이 되니 유효한 추론이 아닌거겠네요??마즘??머리아펑;;

벤다이어그램까지 그리라는거 보면 유효한 추론인것같은데

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 모태 솔로도 구제해 줄 것 같은 연애 고수 스타는? 운영자 25/07/21 - -
350838 델파이 ㅠㅠ [1] 인간(223.62) 13.03.20 79 0
350836 프로그래머가 저평가 되고 단가가 싼 이유. [3] 멍청닭(182.211) 13.03.20 224 0
350835 (음모론)개발자 처우 개선을 요구하는 개발자(들)의 소행설 [6] 멍청닭(182.211) 13.03.20 293 0
350834 프로그래머가 자동차조립하는직업이랑 비교해서 딸린게뭐냐 [3] ㅇㅇ(220.78) 13.03.20 143 0
350833 난 근데 다운시키는 목적을아직 모르겠음 [2] ㅁㅁ(203.226) 13.03.20 79 0
350831 ㅋㅋㅋㅋㅋㅋ 공격화면 [4] Margin Call갤로그로 이동합니다. 13.03.20 302 0
350830 전에 짤방 중에 llllllll 코딩 짤방 봣는데 잇는 사람? ㅁㄴㅇㄴㅁㅇ(110.15) 13.03.20 63 0
350829 이제 프로그래머들 연봉팍팍올라감? [3] ㅇㅇ(220.78) 13.03.20 274 0
350828 집에 모니터 남으시는분??? [5] 인간(223.62) 13.03.20 83 0
350827 이건 분명 짜고치는 고스톱이다. 멍청닭(182.211) 13.03.20 80 0
350826 보안 주식이 떨어지는 줄 알았는데 [3] 호갱(175.223) 13.03.20 153 0
350824 변조된 코드라고 돌아다니는 짤방.jpg [2] Margin Call갤로그로 이동합니다. 13.03.20 242 0
350823 centos /etc/vimrc에서 colorscheme 없는 이유... [9] vim(175.124) 13.03.20 120 0
350822 94년생 학원생인데 [1] ㅁㄴㅇ(223.62) 13.03.20 126 0
350818 밑에 글에 델파이6 설치하고 있다는 멍청닭 횽아야~ [2] BabysBreath(203.235) 13.03.20 81 0
350817 헬지 명불허전 좃망기업 ㅉㅉㅉㅉㅉ [2] Margin Call갤로그로 이동합니다. 13.03.20 173 0
350816 뻥쟁이? 잘봐라씨발라마 [1] ㅇㅁㅁ(122.32) 13.03.20 133 0
350811 mbc, kbs ytn, 농협, 신한은행 전산실 완전 마비 [3] 멍청닭(182.211) 13.03.20 250 0
350810 포항의봄은 포항이 아니라 서울임 ? ㅇㅇ ? ☎2.52™갤로그로 이동합니다. 13.03.20 50 0
350809 방송국 전산망 마비 래 [1] 이모군(175.114) 13.03.20 107 0
350808 프갤 글이 어제 오늘 새 부쩍 는 이유는? [2] 에어로홍갤로그로 이동합니다. 13.03.20 80 0
350807 자바를 배우긴했는데 잘하는거같진 않아서 거의 모른다고 한겁니다 [5] 이신알갤로그로 이동합니다. 13.03.20 104 0
350806 그런데.. 요즘 프갤에 뭔가 빠졌다고 했더니만... [1] ☎2.52™갤로그로 이동합니다. 13.03.20 73 0
350805 와 시밤 cd가 긁혔는지 까는데 무지 오래 걸려 [2] 멍청닭(182.211) 13.03.20 50 0
350803 하긴.. 자바 전혀 몰라도 안드로이드 앱 개발이 가능하기는 하다. [6] ☎2.52™갤로그로 이동합니다. 13.03.20 158 0
350802 자바 거의몰라도 안드로이드 프로그래밍 할수있음? [5] 이신알갤로그로 이동합니다. 13.03.20 119 0
350798 개발자는 그저 사장에겐 노예일 뿐이다. [4] 멍청닭(182.211) 13.03.20 109 0
350797 액션스크립트로 tcp접속이 안됨 [3] ㅇㅇ(180.231) 13.03.20 77 0
350795 델파이가 짱난다고 ? [1] LastCorona갤로그로 이동합니다. 13.03.20 81 0
350793 it 사장하기 조낸 쉬움 나도 사장할꺼임 [1] 멍청닭(182.211) 13.03.20 123 0
350792 내 생각엔 10년차가 넘었다는 차장 쇼키도 문제다. [4] 멍청닭(182.211) 13.03.20 145 0
350791 사실 무슨 언어 마스터라고 할려면 그 언어로 어느 정도 제품화 가능한 것 ☎2.52™갤로그로 이동합니다. 13.03.20 61 0
350790 c언어 공부 67일만에 드디어 c언어 완벽마스터함. [38] ㄴㄴ(110.70) 13.03.20 407 1
350789 근데 진짜 델파이는 맥,리눅스,윈도우에 가능?? [7] 멍청닭(182.211) 13.03.20 140 0
350788 사실 델파이하면.. 미래는 모르겠지만.. [1] ☎2.52™갤로그로 이동합니다. 13.03.20 116 0
350787 삼월에 왠 눈? 이모군(175.114) 13.03.20 36 0
350786 이보시오 사장 양반 올해가 몇년도요..... [2] 멍청닭(182.211) 13.03.20 96 0
350785 지금 우리 회사 직원들 델파이 때문에 멘붕 [6] 멍청닭(182.211) 13.03.20 204 0
350784 ㅇㅇ 형 이제 안오심? [1] 11(1.245) 13.03.20 65 0
350783 아 시발 왜 델파이 따위를 하고 지롤염병이야!!! [7] 멍청닭(182.211) 13.03.20 132 0
350782 ㅇㅇ님 메일주소 앙망 [2] 프로코더(39.7) 13.03.20 87 0
350781 너네 그 거 아니? [13] 에어로홍갤로그로 이동합니다. 13.03.20 136 0
350780 27살은 ㅇㅇ한테 못배우나? 543543갤로그로 이동합니다. 13.03.20 74 0
350779 프로그래밍이 적성에 맞는지 알려면 뭐해야되냐 [3] 은초(222.114) 13.03.20 158 0
350778 힛갤을 3번이나 갔지만 유식횽은 프갤을 리스트에 올리는거에 관심은 없으시 DART(116.41) 13.03.20 50 0
350777 편돌이 추천도서. [4] fm100(211.41) 13.03.20 108 0
350776 아 방통대가 아닌 일반 대학 다니면 야간편돌이(175.116) 13.03.20 80 0
350775 진로 관련 질문입니다. [3] 하오링(14.51) 13.03.20 108 0
350773 저는 그래서 개븅신같은 질문 했다가 혼자 깨달아도 [2] 야간편돌이(175.116) 13.03.20 66 0
350771 아 살빼야지.. [27] fm100(211.41) 13.03.20 137 0
뉴스 '수요일 밤에' 김소연, 복고풍 스타일링 '사랑의 트위스트' 깜찍 매력 발산 디시트렌드 07.24
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2