디시인사이드 갤러리

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

갤러리 본문 영역

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

야간편돌이(175.196) 2013.03.15 03:35:51
조회 169 추천 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/07 - -
AD 휴대폰 바꿀까? 특가 구매 찬스! 운영자 25/07/02 - -
349775 피자 진짜 크다 [2] 백이.갤로그로 이동합니다. 13.03.16 68 0
349774 싱글 게임 제한 좀 깨뜨려 주세요 ㅠㅠ [3] 징기스칸4갤로그로 이동합니다. 13.03.16 49 0
349772 찬양 루시퍼(122.35) 13.03.16 55 0
349771 여기 증권시황소스 받아올수 있는곳 어디있는지 아는 사람 있음??? [4] Colombia갤로그로 이동합니다. 13.03.16 78 0
349770 싱글게임 제한깸 [3] 징기츠칸11(122.35) 13.03.16 429 0
349769 nhn next 들어가기 쉬움? [1] 1ㅈㄷㅈ1(175.215) 13.03.16 88 0
349768 나도 핏짜 인증 [2] 백이.갤로그로 이동합니다. 13.03.16 1318 0
349767 ㅇㅇ형 제발 부탁 드려요 [2] 징기스칸4갤로그로 이동합니다. 13.03.16 66 0
349766 핏자 인증.jpg [4] dd(1.214) 13.03.16 933 0
349765 허걱 열심히 과제하고 왔더니 이게 웬 피자파티가... 근데 질문점; [6] ㅎㅋㅋㅋ(59.152) 13.03.16 108 0
349764 야 다음 타자 누구냐 줄서라. [12] ㅇㅇ(119.203) 13.03.16 188 0
349762 피자왔당! [1] 백이.갤로그로 이동합니다. 13.03.16 62 0
349760 ㅇㅇ형 제발 한번만 읽어 주세요 [1] 징기스칸4갤로그로 이동합니다. 13.03.16 77 0
349758 님들 비쥬얼스튜디오 다운받을라면 어디서 받아요? [1] d(121.140) 13.03.16 49 0
349757 피자왔다 개신기 ㅋㅋㅋ [3] 야간편돌이(175.116) 13.03.16 101 0
349756 OTP함부로 만들지 말라고 otp인데 그걸 하루만에 만들면 [1] Colombia갤로그로 이동합니다. 13.03.16 89 0
349755 요리중 떴다━━━━━(゚∀゚)━━━━━!!! [1] dd(1.214) 13.03.16 69 0
349754 야 나 깊갤러인데 나 프로그래밍가르쳐줘라 [2] 나인뮤지스이샘갤로그로 이동합니다. 13.03.16 73 0
349752 피자 벌써옴 ㄷㄷ [1] ㅇㅇ(61.98) 13.03.16 1354 0
349751 ㅇㅇ형 제발 한번만 읽어주세요 [1] 징기스칸4갤로그로 이동합니다. 13.03.16 68 0
349750 징기스칸4가 싱글 게임의 제한을 깨뜨려 달라 하는.reason [3] dd(1.214) 13.03.16 114 0
349748 뇌파 장애인도 피자먹었냐??? [2] ㅁㄴㅇ(1.245) 13.03.16 90 0
349747 프갤 실북갤 입개르.jpg dd(1.214) 13.03.16 57 0
349745 ㅋㅋ 피자 돌리느라 못 읽은 글들 읽고 왔다. [7] ㅇㅇ(119.203) 13.03.16 160 0
349744 프갤 사건 요약(링크) [3] 야간편돌이(175.116) 13.03.16 237 6
349743 ㅇㅇ 형님 제발 제 부탁을 들어주시면 안될까요? [1] 징기스칸4갤로그로 이동합니다. 13.03.16 68 0
349742 vmware 우분투 12.10에서 터미널 어디에있나요?? [8] 신입뉴비(115.126) 13.03.16 67 0
349741 싱글게임의 제한 좀 깨뜨려 주세요 [3] 징기스칸4갤로그로 이동합니다. 13.03.16 62 0
349738 혹시나 해서 올리는 도미노피자 쿠폰 사용방법 .jpg [1] dd(1.214) 13.03.16 98 0
349737 백이 백이.갤로그로 이동합니다. 13.03.16 30 0
349736 ㅇㅇ형님 감사합니다. ㅇㅇㅇ(175.223) 13.03.16 40 0
349735 아 휫자.... [2] Colombia갤로그로 이동합니다. 13.03.16 55 0
349734 ㅇㅇ횽님 ㄳㄳ~ dd(1.214) 13.03.16 68 0
349733 프수님 이야기 [12] 근성가이(211.237) 13.03.16 3373 17
349732 airwig은 어찌된거임? [2] ㅇㅇ(223.33) 13.03.16 118 0
349731 지금 밖인데 번호 받았는데 먹는방법 좀요! [4] ㅇㅇ(211.234) 13.03.16 57 0
349730 난 내 돈으로 사먹어야겠다 [4] 에어로홍갤로그로 이동합니다. 13.03.16 75 0
349729 난 새벽에 오늘을 대비해서 [3] 백이.갤로그로 이동합니다. 13.03.16 37 0
349727 ㅇㅇ형님 감사히 먹겠습니다. ㅇㅇ(211.234) 13.03.16 27 0
349724 ㅇㅇ님 피자 잘먹을게요 ㅠㅠ 인간(110.35) 13.03.16 34 0
349723 ㅇㅇ 형님 잘먹겟습니다 백이(182.214) 13.03.16 33 0
349722 성님 잘먹겠습니다 ㅇㅇ(61.98) 13.03.16 23 0
349719 ㅇㅇ 횽 잘먹겠습니다 DART(116.41) 13.03.16 43 0
349718 감사합니다 잘먹겠습니다 [1] 야간편돌이(175.116) 13.03.16 59 0
349715 @@@@@@@ 20130316 프갤 피자대첩 공휴일로 지정합니다 @@@@@@@@@@ [1] dd(1.214) 13.03.16 57 0
349714 급한일 있어서 먼저 나간다 피자는 잘받았어. 내일 11시꺼로 예약함 규식이(218.153) 13.03.16 33 0
349713 ㅇㅇ성님 싱글제한 깨달라는 꾸준놈좀 도와주세요 [1] @앱벌이갤로그로 이동합니다. 13.03.16 65 0
349712 ★★★★★★★ 앞으로 프갤에 글올릴때 이 짤방으로 올리세요 ★★★★★★★ dd(1.214) 13.03.16 58 1
349711 싱글게임의 제한을 깨뜨려 주실 분 구합니다 징기스칸4갤로그로 이동합니다. 13.03.16 27 0
349710 프갤은 대 ㅇㅇ시대를 맞이한다 백이(182.214) 13.03.16 36 0
뉴스 “모든 걸 포기한 이유는”…안선영 ‘26년 커리어’ 접고 韓 떠난다, 왜 디시트렌드 07.05
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2