연습문제 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를 선물하세요.
-
메패 3 1
메가패스 지금 사는건 좀 ㅂㄹ인가ㅜ 사탐때믄에…환급 스카이만 돼서 환급은 안되는데...
-
6월 공통 확통 미적도 다풀어봤고, 9월도 공통 미적을 풀어보면서 느끼는 점은....
-
[생기부 치트키] 해수부 장관상 걸린 해양과학 발명대회 접수중이래 (활동비 줌) 1 2
맨날 국영수만 보다가 머리 과부하 걸린 친구들 주목~! 아이디어 하나 잘 내서 용돈...
-
잘자르비 2 0
자기좋은날이네
-
근데 모고가 물이었는지 불이었는지 따지는 게 중요함?? 3 0
6모는 국수 ㅈㄴ 물이었어서 별 의미없다 그러던데 어쨌든 상대평가고 수능도 물로...
-
원서 계획하고잌ㅅ는데 머리아파 1 1
ㅅㅂ 걍 ㅈㄴ 우주상향으로 학생부 종합으로 고려대의대 쓸까 아 모르겠네
-
통학독재 다니면서 듣는 엄마의 잔소리와 간섭이 힘들까 4 0
아니면 기숙학원에서 핸드폰 못 보고 음악 못 듣는 게 힘들까
-
아니 확통 이해원 ’챌린지‘ 이거 풀어본사람?? 2 1
아니 이거 ㅅㅂ 나오긴함? 좋은문제임?? 걍 ㅈㄴ 이해가안가는데 님들은 어캐 봄? 통통이 다 맞는데
-
수학 기출 공부법 질문 1 0
지금 수분감 1회독 중인데 진도가 너무 안 나가지는 거 같아요 뭔가 비효율적으로...
-
골라쥬 1 0
뭐가 나음
-
보지냐씨 잘하시네요 1 1
역시 잘막을거같았다
-
수시러가 정시하니까 0 2
뭔가 점수 받는 꼴이 수시러같이나옴
-
과외 교재 1 0
하위권 학생 과외 교재로 마플 교과서 어떤가요?? 제가 학생 때 이걸로 공부해본...
-
오르비 망했도르 시즌 1557 1 1
-
개피곤 1 0
고양이피곤
-
공부하니깐 이상해지네…. 2 0
나 지금 이상에 가까운 상태임 이상, 나의 사랑.이상, 나의 빛.이상, 나의...
-
앞으로 남은 시험 단 10개 2 1
애@미
-
영어 빼고 국수탐탐만해도 올1 받아본게 고1때이후로 아예 없음 차라리 한과목 적당히...
-
반수생 한완수 스블 2 0
스블 수1 듣는데 잘 맞지 않은 것 같아서 수1은 한완수로 하고 수2, 미적은...
-
피카츄 라이츄 2 0
파이리 꼬부기
??
저게뭐임
답 칼슨이 체스판을 엎음