연습문제 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 0
이번 6모에서 미적 28,29,30 틀린 현역인데요 미적은 아직 시발점만 끝내고...
-
똥 먹어본 사람 좋아요 1 3
.
-
대학어디가에서 보니깐 학생부종합(일반학생전형) 작년입결이 환산등급50퍼가 4.62고...
-
나쁜생각하지 말라고 하는데 1 1
진짜 님들이 겪어보지 않른 이상 몰라요 이 감정과 그때 매년 겪은 감정 내 주변에...
-
ㅅㅂ 3 0
라이터 없어져서 담배 못핌 걍 안펴 시발 뭐 마음대로 되는 게 전혀 없네
-
순수독해력 5 0
어떻게올리는걶데ㅠ 문학이랑 화작은 해보겟는데 독서는 눈알굴리기시전?...
-
나는 1 0
그동안 그나마 있건 인간관계에 있던 친구들도 다 시절인연이 되어버렸어요
-
내신 물2 화2 2 1
뭐이리 어렵냐;;;살려조
-
작수 국어 3등급인데 3 0
국정원 괜찮나요 국정원 독서는 하려고 하는데 문학도 괜찮나요? 아님 문학focus가...
-
혹시라도 학원쪽 일을 하게 된다면 서울 신림동 가장 싼곳에 살고 싶은데 내 돈으로 될지 모르겠다
-
이거 외 이륙 1 1
-
부럽다이 2 2
다 부럽다이 나처럼 마음에 병이 없는 사람들도 부럽고 선천적으로 나처럼몸이 약하지...
-
가래같은게 액체보단 고체에 가까운 가래가 나오고 색이 핑크색임 ㅈ된거냐 이거
-
헐… ㅆㅂ 허들링!!? 2 1
언제 뜰지 개같이 누르고 있는 사람 개추 ㅋㅋ 올때마다 뜰지안뜰지 기대중인놈 개추...
-
그래도 우린 좋지 아니한가 2 0
강물에 넘칠 눈물 속에 우리 같이 있지 않나
-
엄마아빠 보고싶다 2 1
토욜에 드디어 본다는거임~~~
-
다른 사람들은 1 0
친구들이랑 스카도 가고 같이 놀러도 다니고 학교 끝나고 사적으로 놀 친구들도 많은데...
-
걍 모고 해설은 안듣고 컴프레서 수업만 들어도 상관 업나용… 라이브 빠질때 불이익 없나용
-
확통은 원순열 빼고 딱히 교육과정 차이가 없군요 4 0
흠.
-
유대종 문학 진또배기만 1 0
해도 ㄱㅊ나요 ??
??
저게뭐임
답 칼슨이 체스판을 엎음