연습문제 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를 선물하세요.
-
-
대인라 질문 0 0
대인라는 양방향소통?이 가능하다는데 혹시 캠 키고 하는 일종의 화상수업인가요?...
-
국어를 잘할 방법은 무엇일까 0 0
몰까나~~
-
요새는 미적과탐런이 추세라고해 12 2
다시 과탐으로 오고잇더라고
-
7월 전대실모말고 더프보고싶음 9 0
근데 강제로 전대실모를 봐야함
-
선착순 3명 4 1
100덬
-
어느 정도 궤도에 올랐다는 가정하에, 1등급은 무슨 일이 있어도 받을 수 있는 변수...
-
22일만 늦게 태어났어도 08은 면할 수 있었을텐데... 5 1
22일만 늦게 태어낫으면 09일 수 잇엇는데... ㅠㅠㅠㅠㅠㅠ
-
22일차 6 0
국어 주간지 1일차 내신 언매 과제 음운편 수학 주간지 1일차 수학 저번 주 주간지...
-
사문 개조정 0 0
행복감 -> 행복감 지수 이것도 개조정이라는데 이게 왜 개조정이죠? A -> A지수...
-
오붕아오늘하루는후회없이살았니? 7 1
일단나는망한듯...
-
확통 2등급 후반이고 수능까지 안정 2 목표입니다 시즌1부터 쭉 동준쌤 공통...
-
국어 공부 조언 8 0
반수하고 있는 반수생입니다 작년에 5등급에서 강기분+새기분만 5회독하고 수능때는...
-
나는 왜 0 0
국어 수학만 오르고 영어랑 탐구는 안 오를까 영어랑 탐구도 많이 하는 것 같은데...
-
생각보다 오르비에서 5 1
명문대 어디까지냐 햇을때 서성한까지 라는 사람들 꽤잇네
-
물1 노베고 배기범 총 8시간 듣고 개념노트 1시간반정도 읽고 풀어봤는데 3등급 나오네요
-
왜 자꾸 공부하는데 4 0
연애생각이 날까요… 흠,,,, 이거 진짜 시리어스하네요 ㅠㅠㅠ
-
연물리 가고싶은데 6 0
아무래도 과탐가산을 고려하면 투과탐을 해야겠지
-
지금까지 수학은 내신준비만 해봐서 솔직히 수능공부는 어떻게 해야하는지 잘...
-
같은데서 한 3개 풀면 점수 대충 고정되는 듯 어디서 낚시할지, 지문구조나 답...
??
저게뭐임
답 칼슨이 체스판을 엎음