6th week - 명제논리(2)
논리와 비판적 사고 by 김명순October 8, 2013, Tuesday 논리 추론규칙긍정논법(Modus Ponens : M.P., 전건긍정)P → QPP이면 Q이다.P이다.QQ이다(결론) P → QQP이면 Q이다.Q이다.PP이다(결론)부정논법(Modus Tollens : M.T., 후건부정)P → Q-QP이면 Q이다.Q가 아니다.-PP가 아니다.(결론) P → Q-PP이면 Q이다.P가 아니다.-QQ가 아니다.(결론)연쇄논법(Hyhothetical Syllogism : H.S., 가언삼단논법)P → QQ → RP이면 Q이다.Q이면 R이다.P → RP이면 R이다.( ...