연습문제 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를 선물하세요.
-
걍 모고 해설은 안듣고 컴프레서 수업만 들어도 상관 업나용… 라이브 빠질때 불이익 없나용
-
확통은 원순열 빼고 딱히 교육과정 차이가 없군요 4 0
흠.
-
유대종 문학 진또배기만 1 0
해도 ㄱㅊ나요 ??
-
실모단 합류 4 2
언제부터 하지? +실모추천좀요 당근에서 구할 수 있는 작년 회차도 ㄱㅊ
-
언미물1지1 확정 1 1
더 찾아봤자 판단 어려울 것 같고.. 오늘부터 공부해야죠 많이 알려주신분들 감사합니다~
-
대성패스 양도 1 0
대성패스 양도 받으면 환급 받을 수 있음? 회원정보 이름이랑 수능 성적표 이름이랑...
-
이게 현실이 되면 좋겠다 2 0
17 (가) (나) (다)에서 (가)만 찾았는데 답 개수 법칙으로 맞춤 19...
-
Ebs 시작 1 0
킥평 올리러 갈게
-
고대 학업우수형 질문드립니다. 1 0
방금 글쓴 사람인데 댓글에서 지적해주셨던 것 처럼 오류가 있어서 다시 글 썼습니다....
-
다 좆같아 1 1
내 머리를 쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅쾅
-
아 근데 확통은 좀만 참신하게 내려고 하면 수리논술스러워지네...
-
국어 독학서 추천부탁드립니다 1 0
반수 시작해서 국어 감올리고 싶은데 강의듣긴 시간이 좀 아까워서 독학서나 조금씩...
-
지1 폴라리스 아뜰리에 1 1
이거 되게되게 괜찮네 그래도 확실히 과탐중 인구 1위라그런지 좋은 컨텐츠는 좀만...
-
아 시대라이브 대기타다가 대인라 마감되지는않겠지? 2 1
ㅠㅠ
-
서점 냄새 좋다 2 0
먼 미래에 은퇴하고나면 서점하고싶네
-
앞으로 AI 이용에 신원 인증 제도가 본격화될 수도 있겠네요 2 0
정확히는 프론티어 모델에 한해서... 이미지는 7월 8일부터 새롭게 시행되는...
-
애들 성적 올릴 의지도 없어지고 말도 많이 더듬게됨 ㅈ같다
-
우리나라는 치안 좋은게 맞음 2 3
광주에서 서울까지 걸어가는데 개 한마리랑 뱀 한마리 빼고는 위협을 못느낌
-
ㄱㅁ 2 2
국어 문제에서 '기만' 이 나왔는데 오르비에서 맨날 ㄹㅈㄷㄱㅁ 하던 습관 때문에...
-
종강인데 무얼 할까요? 2 0
진짜로
??
저게뭐임
답 칼슨이 체스판을 엎음