연습문제
게시글 주소: 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를 선물하세요.
-
먐뮴이 6 0
뮴먐이
-
요즘 스트레스 많이 받았나봄 10 0
식욕 성욕 전부 다 떡상 함
-
우울증 언제낫지 3 0
2년째 약 이것저것 바꿔가도 안낫네 새벽마다 너무힘들구만..
-
맹수만났다 3 0
도망치는 중이라 질문은 못받는다
-
나는 글케 생각함 7 0
5등급 이하부터는 사실 그냥 5등급으로 퉁쳐도 됨 5,6,7등급의 간극이 크게 없다 봄
-
내일은 롤좀하다 5 0
잇올갈까
-
모비딕이 던지는 메시지가 뭘까 3 0
에이해브 선장이 뻘짓을 했다는걸까
-
오늘은 세나 원딜이다
-
나는 이제 졸리다옹 4 0
아마 6시간 내로 잘 것 같다옹
-
모비딕 읽어본사람 3 1
좀 허무함
-
흔한 오르비 정병글 3 2
설의: 약속에 늦어버려서 아임 설의~ 연의: 가게 문 아까 전에 연의~ 카의:...
-
어제 네일했다옹 3 0
올 블랙이다옹
-
아니씨발 이거뭐임 3 0
ㅈㄴ 무서움
-
확통사탐으로 문디컬 진학 후 반수에 대하여... 7 0
https://orbi.kr/00077367753...
-
고양이로 살면 행복하다옹 4 1
나는 고양이로소이다.
-
이 정도 옯창이면 본인도 문제 있는 거 아님? 10 0
야식 추천 좀 빵먹고싶음
-
ㅇㅇ.... 시험 탈출기원
-
신이있을까 4 0
궁금함
-
왈왈 왈..으르렁 왈왈 3 0
우흐으으응 왈왈!
-
국어는 재수 박으면 무조건 1뜨는데 수학은 오르비언들이 말하는 준킬러도 4수 박아도 못 풀듯
이게뭐야어렵다
작년에 논리학 들었는대
고순가