연습문제 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를 선물하세요.
-
부산 좌빨동네로 바뀐게 별로임 1 1
남자 셋이서 부산을 갈건데 숙소는 해운대랑 광안리중 어디가 좋을까요 그리고 부산...
-
재수생 확통 4등급 대성 인강 조언부탁드립니다.. 0 0
28,29,30에서 수능 문제만 풀면 자꾸 못풀고 헷갈려서요.. 그래서 저 세...
-
진짜 집중안되네 2 1
마음같아선 줌 켜놓고 서로 감시하면서 공부하고 싶네
-
학점이랑 내신이랑 비슷할거같음 4 1
진짜 0.1정도 차이날거같은데
-
가군 고경 폭 나군 설대 폭 다군 중앙대 경영 추합 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
6모 이정도면 어디가나요? 0 0
98 98 2 94 98 언미화생
-
근데 왜 다들 안자는데 2 0
안졸리다고?
-
오르비에 가면 2 0
파마늘도 있고 쿼티도 있고
-
나도 대학친구들이 인생 5 0
친수들이 되면 좋겠다 확률이 조금 적어 근데…
-
그거 나 중3때 쓰던건디 요새는 강사 기출문제집이 정배 아닌가
-
잘까말까 1 0
-
-
기하할거임 ㅇㅇ 2 1
6모 확통 시험지 보고 오니까 어지러워짐
-
N티켓 풀어보신분 질문좀요 3 0
제가 방금 책받아서 표지를 봤는데 표지 느낌이 너무 이상하던데 제꺼만...
-
-
경성제국대학 학생들에게 고한다 5 1
-
그나마 수2 준킬러,킬러 풀때 범바오 꺼드럭꺼드럭대는 소리가 머리속을 울리긴 하던데
-
국어 공부 질문 2 0
강기분 다들었고 이번 6모 80점 후반 맞았습니다 이제 공부를 어떻게 할 지...
-
생윤 어준규 OX 4 0
생윤 어준규쌤 오엑스 추천 많이 하셔서 구매하려고하는데 가오자가 생각모다 비싸서...
-
천천히 해도 댐?
??
저게뭐임
답 칼슨이 체스판을 엎음