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

복붙하께용..

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인데 결론은 거짓이 되니 유효한 추론이 아닌거겠네요??마즘??머리아펑;;

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