연습문제 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를 선물하세요.
-
그니까 ktx에 무임승차하면 4 0
철도가키들이 나 잡으러 온다는거지? 본가 갈 때 딱대라 ㅋㅋ
-
오르비 수험생 커뮤니티 아녀...?좀 건전한 글들이 메인에 가야 하는 거 아닌가맨날...
-
-
고2 현역 9모 목표 4 4
6모 90 98 3 1 92 91 국어 백분 94 수학 백분 99 or 원점수...
-
수요일 기말보다 중요한건 3 0
단과대 간식 행사 선착순 들기
-
내일부터 달린다 2 0
물리하는 치타
-
현역 수학 커리 추천 5 0
이승효T 3.5미적분, SNS 그리고 한석원T 알파테크닉 미적분 중에 고민중입니다....
-
대충 30대 중후반?이신 거 같은 여자 교수님이신데 매력적으로 보여요...성격은...
-
항상 4등급에서 내려오지도 오르지도 않고 있습니다.. 작년에 이미지쌤 기출분석...
-
반수생 커리짰다요 4 0
국어 독:216 BC CC+스키마N제, 리트300제 문:김재훈t 라이브 언:나기출...
-
지구 버릴까요 6 1
다들 브릿지가 쉽다고 하시는데 지엽적인 선지에서 걸려서 비킬러에서 점수 깎이고...
-
영원히 모아 Until we're shining again Kick back 우리...
-
반수생 계획 어떤가욥 3 0
걍 저 혼자 보는용으로 러프하게 적은거 올린거라 말투는 좀 이해해주세여... 작수...
-
아기잔다 6 0
응애
-
수시를 다시 해야하나 4 0
수학 때문에 진심 수능날 100 80 1 99 99 이렇게 뜰 수도
-
자지 축을 박차고 4 0
자 포효하라 그대!
-
08이 최악의세대인 이유 3 0
그건바로 수능이 약 160일 남은시점에 월드컵이 시작됐기때문ㅇㅇ
-
학교 빌려서 봐서 실모운영에는 도움이 되겠지만 7월 16일(시험 당일) 이후 4일에...
-
똥 3 0
똥
-
스블 필노사서 3 0
모든것을 빼앗아가겠노라 범바오 내개오라
??
저게뭐임
답 칼슨이 체스판을 엎음