연습문제 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
퉤
-
비트겐슈타인의 진리함수이론에 대한 지문인데… 거의 20분 넘게 푼 거 같아요 ㅠㅠ...
-
와 걸그룹 직캠 의상 ㄹㅈㄷ네 6 34
공부해라
-
언매가 ㅈㄴ 이상한 과목임 2 5
작년에 수능 볼때도 풀면서 어렵다고생각하고 아 내년에도본다면 언매는...
-
경제 황 형님들 필독! 4 0
노베3모 23점 (4) -> 개념 지금 수요공급까지 빠르게 듣고 피뎊 다운해서...
-
야구 보러 갈까 4 0
흠
-
대학다니다가 가물가물해서 여쭤봄
-
비연계 고전 2 0
수능 시험에서 비연계 고전시가/고전소설이 얼마나 나오는 편인가요? 김승리 올오카...
-
“너가 친구 기타줄 끊고 문화제 억지로 참가시킨 애니?” 3 6
ㅎㄷㄷ
-
간쓸개s 경제 제외하고 ㅋㅋ
-
7월에 전대실모 볼거면 1 1
차라리 안보는게 나을까요?? 집 주변에 볼 수 잇는 곳이 러샐 코어밖애 없는데...
-
달 할아버지 1 0
밀짚모자 썼네 나비같이 훨훨 날아서 살금살금 다가가서 xx 모자 가져오지 이놈하고...
-
일리아 토푸리아 패배심경 전문 2 2
“Justin, congratulations. You said you’d leave...
-
삼반수고민중인데 3 0
작수 국어가 개망해서 입시망했던 케이스인데 오늘 오랜만에 한번 풀어봤는데 등급 거의...
-
공하실 1 1
-
피곤하네 3 0
수시원서 쓸거 27 모집요강 보고 수시 입결 보니 참 눈이아프고 피곤하네옹...
-
작수 76 6모 86 2 0
옛날에 공부 기록 올리다가 기록 귀찮아서 안올리다가 탈퇴했는데 6모 보고 합법적...
-
전자파가 암에 걸리는 거면 2 2
버스카드만 찍어도 죽는 거임?
-
아니 밥 어케하면 빨리 먹음? 2 1
나 방금 토스트 하나 먹는 데에 30분 걸렸는데... 밥 먹는 시간 넘 느려서 좀...
??
저게뭐임
답 칼슨이 체스판을 엎음