내 소식

Ranker [1199515] · MS 2022 · 쪽지

2026-06-13 00:30:20
조회수 60

연습문제

게시글 주소: https://orbi.kr/00078627540

(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

rare-Lc0 rare-투디비

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.