연습문제 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를 선물하세요.
-
25학년도 4규s2 풀고있는데 0 0
중고나라에서 엄청 싸게 팔길래 사서 푸는데 26 27도 풀면 좋나요? 문제 겹치는거...
-
수학 노베 추천부탁드려요 0 0
고2까지수학 모의고사가 30점대였는데 이번 겨울에 세젤쉬랑 미친기분 시작편을 풀어서...
-
내일 1교시부터 시험인데 3 0
그냥 학교에서 밤 샐까
-
ㅇㅂㄱ 3 0
오늘 부터 시험이네 글쓰기 물리 선대 일본어 확통기초 미적 딱대
-
이감 4-1 0 0
76점 개 ㅈ된줄 알았는데 등급컷 상태가?
-
오늘도 시작이야 2 1
-
재수 0 0
수능 마지막이니까 아쉬워서 참가했는데 이젠 전적대 이상 못가면 너무 현타올듯 설대...
-
기숙학원 추천 0 0
현역이고 여름동안 기숙 들어가서 빡세게 공부하고싶은데요 썸머스쿨? 같이 그런거...
-
그 텔그인가 거기에 0 1
누적백분위 같은 것도 나오나요? 요새 좀 연구하고 있어서
-
시대기숙 인문 0 2
라인업 많이 별로인가요? 시대를 한 번도 안 다녀봐서 누가 유명한지 아예 모르겠네요ㅠ
-
6모때 점심을 집에 놔두고 감 0 0
어찌저찌 버티고 마지막 교시에 탐구 보고 있는데 배에서 무슨 천둥소리 크기로 계속...
-
왓? 우리 마소 개ㅈ밥다됐네 전 시총1위인데
-
수학 문제 0 0
푸시는분 선착1 천덕
-
뭐이리 결함이 많은거지 0 0
이제는 시험 범위를 모르겠네;
-
아래 써있는 과목 모두 처음 공부해봅니다 올해 수능 목적이고(내신용은 전혀...
-
작년 단국치 빵꾸난건가요? 0 0
평소에비해 얼마나빵꾸난건지 영어1이 3%라 빵났나
-
불시점검 0 0
뮤탈리스크?
-
고고 1 1
-
오노추 0 0
피프티피프티 - Gravity 키스오브라이프 - 안녕, 네버랜드
-
나도 드디어 정신차리고 정상인이 되려하는건가 많이 늦긴했지만 그래도 정신적으로...
??
저게뭐임
답 칼슨이 체스판을 엎음