연습문제
게시글 주소: 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를 선물하세요.
-
유니스트는 뭔가 호감임 2 2
친구랑 같이 수능 조지고 함께 재수하는건가 했는데 그친구 수시로 유니 초대박이 나서...
-
평단 153 4 1
진지하게 잘까 고민중...
-
내가 3 0
디오니소스랑 포도주로 목을 축엿엇다니까
-
뭐 6 1
ㅇ.
-
옯또망 4 0
동접자가 이 저출산시대의 초등학생 한 반보다 적은것같네
-
ㅇㅇ
-
내 양옆을 보면 어떤분은 체스하고 어떤분은 릴스봄
-
외대는 2 1
수업 십분전이면 걸어감
-
왤케 다 공부를잘해 5 0
오르비 그만둬야겠다
-
피파는 복귀못하겠다 3 1
BP로 들고있으니까 화폐가치 다떨어져서 뭐 맞출수있는 팀이 없네
-
밸류가 상당하네
-
학점은 3점대만 돼도 돼 4 0
응응
-
올해목표하나세움 4 0
음악세계지도다채우기 내가듣는음악들이어떤나라의음악인지싹칠해봣는데 갈길이먼듯...
-
배고파 2 0
윽윽
-
-
보쿠라와 이노치노 히가 키에루 소노 히마데 아루이테유쿠
-
그래서 손해봄 ㅜ
-
사탐런할건데 4 0
생윤사문이 젤 베스트인가요? 끌리는건 사문정법이 끌리는데 정법이 내가 좋아하는...
-
이츠마데 도코마데난테 세이죠카 이죠카난테 캉가에루 히마모 나이호도 아루쿠노와 타이헨다
-
천하제일단타대회 4 0
넣뺏 파란기둥에 타고 빨간기둥에 던진다
이게뭐야어렵다
작년에 논리학 들었는대
고순가