타당성평가2:명제논리

타당성평가2:명제논리

논리규칙1

기호화 연습

빨간색을 가진 모든 것은 세모꼴이다.

세모꼴은 세 개의 변을 갖는다.

그러므로 빨간색을 가진 모든 것은 세 개의 변을 갖 는다.

p.45

부정문 만들기

a. 태규는 자전거를 탄다.

c. 어떤 사람이 자전거를 탄다.

e. 어떤 사람이 자전거를 타지 않는다.

g. 모든 사람이 자전거를 타는 것은 아니다.

i. 자전거를 타는 사람이 있다.

추론규칙(9)

1) 긍정논법(Modus Ponens)

P→Q P

Q

후건긍정의 오류 P → Q

Q _________

P

추론규칙

2) 부정논법(Modus Tollens)

P→Q -Q

-P

전건부정의 오류 P → Q

-P _________

-Q

추론규칙

3) 연쇄논법(Hypothetical Syllogism)

P→Q Q→R

P→R

추론규칙

4) 선언논법(Disjunctive Syllogism)

PvQ -P

Q

선언지긍정의 오류 PvQ P

_________

-Q

추론규칙

5) 연언결합(Conjunction)

P Q

P&Q

추론규칙

6) 단순화(Simplification)

P&Q

P

추론규칙

7) 선언도입(Addition)

P

P v Q

추론규칙

8) 양도논법(Constructive Dilemma)

P v R

P→Q R→S

Q v S

추론규칙

9) 흡수법칙(

)

P→Q

P→(P&Q)

동치규칙(10)

1)

-(P&Q) ≡ -Pv-Q

-(PvQ) ≡ -P&-Q

동치규칙(10)

2)

PvQ ≡ QvP

P&Q ≡ Q&P

동치규칙(10)

3)

Pv(QvR) ≡ (PvQ)vR

P&(Q&R) ≡ (P&Q)&R

동치규칙(10)

4)

Pv(Q&R) ≡ (PvQ)&(PvR)

P&(QvR) ≡ (P&Q)v(P&R)

동치규칙(10)

5) 이중부정

-(-P) ≡ P

동치규칙(10)

6)

P→Q ≡ -Q→-P

동치규칙(10)

7)

P→Q ≡ -PvQ

동치규칙(10)

8)

P↔Q ≡ (P→Q)&(Q→P)

동치규칙(10)

9)

(P&Q)→R ≡ P→(Q→R)

동치규칙(10)

10)

PvP ≡ P

P&P ≡ P

논리규칙 사용 연습

1. (S->T) v W 2. -W & -T /∴ -S

논리규칙 사용 연습

1. P->(Q&R) 2. Q->S

3. P /∴ S v T