(10) 1. 2. 3. 4. 5. 6. 7. (∃x)(Cx ⋀ Rx) (∃x)Cx → (∃x)(Px ⋀ Rx) (∀x)(Px → Wx) ⋀ Rx) Ca ⋀ Ra Ca Simp. (∃x)Cx (∃x)(Px ⋀ Rx) / (∃x)(Wx 1, ∃E 4, 5, ∃I 2, 6, MP 8. Pb ⋀ Rb 9. Pb → Wb 10. Pb 11. Wb 12. Rb 13. Wb ⋀ Rb 14. (∃x)(Wx ⋀ Rx) 7, ∃E 3, ∀E 8, Simp. 9, 10, MP 8, Simp. 11, 12, Conj. 13, ∃I

작년에 논리학 들었는대

태그

입시

학습

생활

클럽

직업·취업

Epioptimus

Centurion

Ranker [1199515] · MS 2022 · 쪽지

연습문제

(10)

1. 2. 3. 4. 5. 6. 7. (∃x)(Cx ⋀ Rx)

(∃x)Cx → (∃x)(Px ⋀ Rx)

(∀x)(Px → Wx) ⋀ Rx)

Ca ⋀ Ra Ca Simp.

(∃x)Cx (∃x)(Px ⋀ Rx) / (∃x)(Wx

1, ∃E

5, ∃I

2, 6, MP

8. Pb ⋀ Rb 9. Pb → Wb 10. Pb 11. Wb 12. Rb 13. Wb ⋀ Rb 14. (∃x)(Wx ⋀ Rx) 7, ∃E

3, ∀E

8, Simp.

9, 10, MP

8, Simp.

11, 12, Conj.

13, ∃I

팔로우 149

0 XDK (+0)

Ranker [1199515]

글쓰기

오르비 1465596번째 회원 되기

2027 수능 D - 158