디시인사이드 갤러리

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

갤러리 본문 영역

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

야간편돌이(175.196) 2013.03.15 03:35:51
조회 175 추천 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 - -
349952 애즈원-원하고 원망하죠 [1] 에어로홍갤로그로 이동합니다. 13.03.17 45 0
349951 횽들 C언어 문제좀 풀어죠 ㅠㅠ [14] 학생(175.213) 13.03.17 168 0
349950 이것좀봐봐 돌겠음 ㅜㅜ [1] ㅁㄴㅇ(222.238) 13.03.17 37 0
349949 제대 후 효도 계획서 [4] 징기스칸4갤로그로 이동합니다. 13.03.17 126 0
349947 visual c++ 2012랑 2008 버전 둘이 호환 되나요? [5] 컴공(112.158) 13.03.17 108 0
349946 신경망AI 잘 아는 횽아 있음? [1] ㅇㅇ(180.231) 13.03.17 80 0
349945 낮에 떠낫던 찐따 다시왓습니다. 과제좀 도와주세요 ^^ [2] ㅍㄿ(61.79) 13.03.16 65 0
349944 invaild conversion int ot int 이게뭐냐 [1] ㅁㄴㅇ(222.238) 13.03.16 43 0
349943 json php 연동 간단한거 질문이요 [3] 햄버거11(124.49) 13.03.16 78 0
349941 치과 가야겟다 백이.갤로그로 이동합니다. 13.03.16 32 0
349940 여드름 먹어본사람 손 [4] ㄷ1ㅈㄷ(175.215) 13.03.16 107 0
349939 다음 중에 안 신기한 것을 모두 고르시오. [2] 생물학(58.76) 13.03.16 193 1
349938 c언어에서 파일에 있는문장 삭제 어캐함? [6] ㅁㄴㅇ(222.238) 13.03.16 215 0
349937 비주얼 스튜디오 2012는 왜 이렇게 느려졌음? [1] ㅇㅇ(175.193) 13.03.16 80 0
349936 mfc책 추천좀 [1] 게이피유갤로그로 이동합니다. 13.03.16 46 0
349934 프로그래밍은 독학으로 어느수준까지갈수있음?? [6] ㅁㄴㅇ(211.209) 13.03.16 176 0
349933 자바연산자 하고있다^^ ㅁㄴㅇ(211.209) 13.03.16 32 0
349932 JDK가 설치가 안되요 [2] dsa(211.48) 13.03.16 68 0
349931 슬프군 나도 초딩때 홈페이지 공부에 재미들였는대.. 근성가이(211.237) 13.03.16 47 1
349930 소라게를 훈련시키려고 하는데 [5] 마이리틀포니짱짱갤로그로 이동합니다. 13.03.16 214 1
349928 카지노서 보안 해킹해 370억 따고 튄 도박꾼 '경악' ㅇㅇ(222.112) 13.03.16 103 0
349927 형들ㅜㅜ 루프문 빠져나오는거 관련한 질문좀! [5] 아스터시(175.201) 13.03.16 76 0
349925 피자왔다~ [2] ㅇㅇ(115.41) 13.03.16 1168 0
349924 while문이랑 do while문 [3] 백이.갤로그로 이동합니다. 13.03.16 86 0
349923 지잡대 컴공 vs IT병크 [3] CS_Sniper(125.180) 13.03.16 148 0
349922 C언어 파일 입출력 할 때 말인데여 [2] ㅇㅇ(175.193) 13.03.16 81 0
349921 75주년 할인에 에버랜드도 있다.. [2] ㅋㄱ(183.96) 13.03.16 76 0
349920 ㅇㅇ 형 마감됨?? ddd(1.228) 13.03.16 44 0
349919 ㅇㅇ성님 성씨 맞춰봄 CS_Sniper(125.180) 13.03.16 57 0
349918 [7] 루비•‿•갤로그로 이동합니다. 13.03.16 134 0
349917 꼬리꺾기 이런 느낌? [7] ?(175.203) 13.03.16 142 0
349915 형들 구제좀 [2] 재귀(175.123) 13.03.16 70 0
349914 자바 소스파일 어디서 볼 수 있음요? 소스(222.116) 13.03.16 33 0
349912 꼬리펴주기?? [21] 개발개발(110.47) 13.03.16 195 0
349911 야구게임 [6] ㅇㅇ(121.190) 13.03.16 99 0
349910 그지새끼들만 모였냐 [1] ㅈㅈ(183.99) 13.03.16 67 0
349909 새벽에 노트북물어본사람인데요 [2] 김민성(223.62) 13.03.16 95 0
349908 나도 피자 줘 돌아온yoi(124.153) 13.03.16 49 0
349903 아까 ㅇㅇ형이 내 핸드폰에 피자 20개 쿠폰 넣어줬는데 [8] ㅇㅇ(121.163) 13.03.16 176 0
349902 피자 레알 쐈구나. [4] HiKiKoMoRi갤로그로 이동합니다. 13.03.16 113 0
349896 while문 중첩문제 [3] 백이(182.214) 13.03.16 117 0
349894 프갤러는 사람이 얼마 없어서 좋다. [1] ㅇㅇ(115.41) 13.03.16 81 0
349893 이제 뇌파로 글쓰는 분도 등장하셧네요.. [2] 입에붙는거갤로그로 이동합니다. 13.03.16 75 0
349892 형들 존나기초적인거 질문좀 급해요 ㅠㅠ [5] javashit(119.192) 13.03.16 81 0
349889 프로그래밍 하는 애들은 다 씹덕후냐? [9] 갤로그로 이동합니다. 13.03.16 224 0
349887 c++ 소수구하는 프로그램 질문드릴께요 [6] ㅇㅇ(110.45) 13.03.16 264 0
349886 사랑니 나온거같은데 백이(182.214) 13.03.16 34 0
349884 저 어제 새벽에 잤다가 지금 일어났는데 피자 남았나요? [1] ?(175.203) 13.03.16 70 0
349883 피자 10시에 예약했다. ㅇㅇ(115.41) 13.03.16 67 0
349882 프갤응 끼요미가 정.복.했.찌.롱^3^♥ 움하하하-3-!!! [5] 끼요미^3^갤로그로 이동합니다. 13.03.16 99 0
뉴스 김소연, '수요일 밤에' 홀린 매혹적 비주얼! 넘치는 끼 장착한 '아리아리요' 디시트렌드 14:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2