7&8th week - 과제
논리와 비판적 사고October 29, 2013, Tuesday201103062 전완식 (1 - 6) 자연연역에 의해 다음 논증의 타당성을 증명하시오. (각 1점)(주의 : 단계별로 번호를 붙여 세로로 쓸 것 / 사용된 전제와 추론규칙을 쓸 것.)A∨(B&C), B→D, -D / ∴ AA∨(B&C) 전제B→D 전제-D 전제-B∨D 2)의 단순함축-B 3)과 4)의 선언논법∴ A 1)과 5)의 선언논법-A∨-B, A∨(C→-D), -(-B), -D→E / ∴ C→E-A∨-B 전제A∨(C→-D) 전제-(-B) 전제-D→E 전제B 3)의 이중부정 ...