연습문제 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 0
단과대 간식 행사 선착순 들기
-
수2 21번 자작문제 7 1
-
내일부터 달린다 2 0
물리하는 치타
-
현역 수학 커리 추천 5 0
이승효T 3.5미적분, SNS 그리고 한석원T 알파테크닉 미적분 중에 고민중입니다....
-
대충 30대 중후반?이신 거 같은 여자 교수님이신데 매력적으로 보여요...성격은...
-
항상 4등급에서 내려오지도 오르지도 않고 있습니다.. 작년에 이미지쌤 기출분석...
-
국룰 있지 않았나 아닌가
-
냉감이불 써보신분 1 1
추천함? 에어컨 안켜면 안시원함?
-
지구 버릴까요 6 1
다들 브릿지가 쉽다고 하시는데 지엽적인 선지에서 걸려서 비킬러에서 점수 깎이고...
-
야밤에 보면 안될 걸 본 거 같네요 몬스터 마시고 내일있을 전공 두과목을 위해 파이팅파이팅...
-
영원히 모아 Until we're shining again Kick back 우리...
-
반수생 계획 어떤가욥 3 0
걍 저 혼자 보는용으로 러프하게 적은거 올린거라 말투는 좀 이해해주세여... 작수...
-
아기잔다 6 0
응애
-
머스크아 고맙다 1 0
덕분에 10수능응시료먹고간다
-
수시를 다시 해야하나 4 0
수학 때문에 진심 수능날 100 80 1 99 99 이렇게 뜰 수도
-
자지 축을 박차고 4 0
자 포효하라 그대!
-
학교 빌려서 봐서 실모운영에는 도움이 되겠지만 7월 16일(시험 당일) 이후 4일에...
-
스블 필노사서 3 0
모든것을 빼앗아가겠노라 범바오 내개오라
-
연전전을 가고싶구나 3 0
보내줘
-
이번에 반수하는데 5 0
확통이랑 미적이랑 틀리는 개수 같으면 미적하는게 맞음...?
??
저게뭐임
답 칼슨이 체스판을 엎음