연습문제
게시글 주소: 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
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
미쿠만나러 떠남 5 1
꿈 속 세계에서 나를 반겨주는 래빗홀 머스마라이저 모니터링 비노미(넌 오지마) 뱀파이어...
-
포항공대 정시 왜 안뽑음 6 0
가고싶은데
-
이봐.. 4 0
난 곧 죽게 되나
-
잠바 팝니다옹 6 0
30만원이다옹
-
오르비에서의 그 외대의 위치 7 0
일단 뱃지중에서는 최하위권에 속함 건동홍까지 뱃지가 있으나 잘 보이지 않음 더불어...
-
정시(正時) 씨 발아(發芽) 7 1
오랫동안 나는 생명을 틔우기를 기다리는 밭이었다. 넙대대한 씨앗은 주머니 속에...
-
진짜 그동안은 잘때 지옥같았다
-
설뱃 갖고 싶다옹 6 0
난 가질 수 없다옹
-
역사적으로 청년실업이 극심해지면 전쟁이 일어났다는데 4 1
자꾸 이렇게 불만이 쌓이면 사람들이 독재자도 용인할 수 있지 않을까라는 생각이 듦...
-
난 바보다옹 7 0
좀 더 좋은 선택을 할 수 잇엇다옹
-
릴스에 5 0
불닭 ㅈㄴ 맛잇게 먹는 일본인 떳다옹 나도 질 수 없다옹
-
인스타 조녜 소개 6 0
crxeon
-
아아 술먹으니까 4 0
외로움이 증폭된다 ㅠㅠ 나도 여친 사귈래 ㅠㅠㅠㅠㅠㅠ
-
술 샀다 5 0
먹고 다시 자야지
-
과잠메타 머냐 5 0
지금은 없는데 과까면 초특정이라 안댐
-
밝아젺네 3 2
이제자자
-
키미노 6 1
시라나이 모노가타리
-
난 옯만추 한번도 안해봤다옹 4 0
한번 해보고 싶다옹
-
처음 만난 사람이랑만 거의 계속 만난다옹
-
이거도누군지맞춰보시지 5 0
저번 인물과 관계있는 사람.



이게뭐야어렵다
작년에 논리학 들었는대
고순가