연습문제 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때수학8이엇는데 다들대단하내 자부심을가져
-
이거 못푼거 ㅈㄴ 한이다 5 0
이거땜에 1 못받네 하... 진짜 멍청하다 나는
-
맞.팔.해.야 2 0
만해(卍解)!!!
-
6모 세사 노베 36점이면 4 1
얼마나 잘하는 거임 친구가 그냥 상식으로 시간 내에 풀아사 저점수 나옴 ㄷㄷㄷ...
-
통과 3 0
대성에서 통과로 수능준비하려면 어떤 강의 듣는게 좋나요? 볼륨 큰 강의는 힘들 것 같아요
-
대인라 국수 마감 빨리 됨? 0 0
대인라 국수 마감 빨리 되나요? 딱 정각에 들어가서 해야 하나요?
-
국어 모고퀄 1등 어디임? 4 0
강케이 이감 상상 서바이벌중에?
-
좆같은 생각만 든다 6 0
이미 미쳐서 돌아버링 거 같음….
-
예쁜 n제 추천해주세요 4 1
난이도는 입문 엔제~이해원정도 되면 좋겠고요 제가 n제를 취미로 푸는 거라 못생기면...
-
졸려 0 0
약기운땜에 몽롱몽롱
-
9모 22번 유출?? 2 1
헐
-
작년에 독재 한달다녔다가 쉬고 한달다녔다쉬고 올해 3월부터 6평까지 3개월다녔다...
-
서연고서성한중경외시건동홍(숙) 광명상가밖에 기억이 안난다 근데 광명상가 <- 뭔가...
-
부산 좌빨동네로 바뀐게 별로임 1 1
남자 셋이서 부산을 갈건데 숙소는 해운대랑 광안리중 어디가 좋을까요 그리고 부산...
-
재수생 확통 4등급 대성 인강 조언부탁드립니다.. 0 0
28,29,30에서 수능 문제만 풀면 자꾸 못풀고 헷갈려서요.. 그래서 저 세...
-
진짜 집중안되네 2 1
마음같아선 줌 켜놓고 서로 감시하면서 공부하고 싶네
-
학점이랑 내신이랑 비슷할거같음 4 1
진짜 0.1정도 차이날거같은데
-
가군 고경 폭 나군 설대 폭 다군 중앙대 경영 추합 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
6모 이정도면 어디가나요? 0 0
98 98 2 94 98 언미화생
-
근데 왜 다들 안자는데 2 0
안졸리다고?
??
저게뭐임
답 칼슨이 체스판을 엎음