연습문제 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를 선물하세요.
-
메인글 연섹대 ㅋㅋ 4 1
-
화1은 정말 개꿀인가 5 1
25수능 투과목 정도면 개꿀인데
-
나 리얼한 거만 뱉어서 4 0
개명신청했어
-
대인라 신청일인데 할까 3 0
국수만.. 수학은 작년에 했을때 만족했는데
-
특히경제… 솔직히 이제 헤겔은 10분만에 다 보는데 오버슈팅 아까 20분넘게걸림...
-
수완실모로 4 1
수악 5연실모를 해볼까 고민하는 닥터 삼칠이어따그나저나 오늘 글이 유난히 안읽히네기분이안조와짐
-
어케 고려대 지리교육은 소신으로 잡히고 중앙대 역사학과가 위험으로 잡히는 거임?
-
왜 사회활동을 해야지? 3 0
나가기 싫다아
-
엄마 몰래 라면먹기 vs 1 1
옆집 몰래 비번 외우기 …마이린 승!
-
아일릿 단체예능 나윰 2 1
워니
-
뭐 할지 추천해줄 사람 2 1
ㅈㄱㄴ
-
사설 컨텐츠 논리 집착... 3 0
특히 문학.... 그 중에서도 특히 보기 문제 해석 사설컨은 적당히 뭔...???...
-
튜링러브 3 1
미츠메앗탙탓테 토케나이 메로
-
메패 3 1
메가패스 지금 사는건 좀 ㅂㄹ인가ㅜ 사탐때믄에…환급 스카이만 돼서 환급은 안되는데...
-
6월 공통 확통 미적도 다풀어봤고, 9월도 공통 미적을 풀어보면서 느끼는 점은....
-
[생기부 치트키] 해수부 장관상 걸린 해양과학 발명대회 접수중이래 (활동비 줌) 1 2
맨날 국영수만 보다가 머리 과부하 걸린 친구들 주목~! 아이디어 하나 잘 내서 용돈...
-
잘자르비 2 0
자기좋은날이네
-
근데 모고가 물이었는지 불이었는지 따지는 게 중요함?? 3 0
6모는 국수 ㅈㄴ 물이었어서 별 의미없다 그러던데 어쨌든 상대평가고 수능도 물로...
-
원서 계획하고잌ㅅ는데 머리아파 1 1
ㅅㅂ 걍 ㅈㄴ 우주상향으로 학생부 종합으로 고려대의대 쓸까 아 모르겠네
-
아니 확통 이해원 ’챌린지‘ 이거 풀어본사람?? 2 1
아니 이거 ㅅㅂ 나오긴함? 좋은문제임?? 걍 ㅈㄴ 이해가안가는데 님들은 어캐 봄? 통통이 다 맞는데
??
저게뭐임
답 칼슨이 체스판을 엎음