연습문제 V
게시글 주소: https://orbi.kr/00078657833
1. (∃x)Bx → (∀x)(Dx → Ax)
2. (∃x)Dx → (∀x)(Ax → Cx) /(∃x)Bx → (∀x)(Dx → Cx)
3. ~{(∃x)Bx → (∀x)(Dx → Cx)} A
4. ~{~(∃x)Bx ⋁ (∀x)(Dx → Cx)} 3, Impl.
5. ~~(∃x)Bx ⋀ ~(∀x)(Dx → Cx) 4, DM
6. (∃x)Bx ⋀ ~(∀x)(Dx → Cx) 5, DN
13. Da 14. (∃x)Dx 15. (∀x)(Ax → Cx) 16. (∃x)Bx 17. (∀x)(Dx → Ax) 18. Da → Aa 12, DN
13, ∃I
2, 14, MP
6, Simp.
2, 16, MP
17, ∀E
7. ~(∀x)(Dx → Cx) 8. (∃x)~(Dx → Cx) 9. ~(Da → Ca) 10. ~(~Da ⋁ Ca) 11. ~~Da ⋀ ~Ca 12. ~~Da 6, Simp.
7, QN
8, ∃E
9, Impl.
10, DM
11, Simp.
19. Aa → Ca 20. Da → Ca 21. Ca 15, ∀E
18, 19, HS
13, 20, MP
22. ~Ca 23. Ca ⋀ ~Ca 11, Simp.
21, 22, Conj.
24. (∃x)Bx → (∀x)(Dx → Cx) 3-23, IP
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
물2 하며 느낀점 0 1
답을 내는것도 문제인데 사실 더 큰 공포는 안절고 식 다 쓰고 답 낸다 해도 한문제...
-
못하는 과목말고 잘하는 과목을 존나 잘보는게 맞을듯 ㅇㅇ.. 국어야 꺼져라
-
경남지역에 살고있고 간호학과 가려고 하는데.. 성적이 너무 안 좋게 애매해서...
-
걍 그렇다구...
-
기트남어 재밌네 1 0
새로운 언어를 배우고있음
-
이모는 티모 장인 1 0
이모가 대포 먹을때 막타쳐
-
뭐야 1 0
벡터 3문제 푸니까 1시간 지나버렸는데
-
국어 공부법 1 0
평가원,교육청 15년치 끝내서 할게 없는데 이러면 보통 뭘 하나요? 문학은 수특...
-
근데 어쩔
-
열품타 또 터졌냐 1 0
??
-
일론머스크 이제 1 3
10초에 4.5억을 버네 이게 진짜 국가 권력급이지
-
전직 선관위 직원의 '작심 폭로'…"진짜 핵심은" 터질 게 터졌다 [자막뉴스] 1 2
6·3 지방선거 투표용지 부족 사태를 둘러싼 후폭풍이 계속되고 있습니다....
-
만약 N수출신이면 모 재종학원 갤러리 유저일거같은데 틀려도되니까 손가락 걸어볼까...
-
왜 벌써 1학기가 끝난걸까요
-
야식먹고싶다 0 0
씁 근데 편의점 가러 나가기는 귀찮음
-
수시: 수학 4등급 정시: 수학 3등급
-
내신 4.5는 1 0
고등학생: 무난하네 좋은 데 가려면 더 올려보자 대학생: 데우스 엑스 마키나
-
순혈수시러라 살았다옹 2 0
냐아아아옹
-
잔다 2 0
ㅇㅇ
-
고려대 경제 목표인데요 2 0
이번 6평은 화작확통생윤사문으로 22533이 나왔습니다 ㅜㅜ 다른과목은 모르겠는데...
??
저게뭐임
답 칼슨이 체스판을 엎음