연습문제 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를 선물하세요.
-
오늘자공부기록 2 0
허리아파서 정형외과갔더니 허리에 주사를 5-6방 넣더군요 평소보다 1시간정도 손실이...
-
오늘부터 달린다.
-
완벽한 익명 기반 인강 평가 사이트가 있으면 좋을것 같긴한데 2 2
오르비 수만휘같은곳은 메가대성이 하루종일 검열하니까 근데 완벽한 익명이면 필연적으로...
-
제가 시험을 학원에서 봤는데 보통 고등학교에서 시험볼때 주는 평가원 성적표 종이로 나눠주나욥..?!
-
수학황들 헬프미 3 0
6모 미적 공통 22틀 미적 2930틀인데 92~96까지 보고싶어요.....
-
우주는 평평하니깐 지구 반대편에 있으면 지구에 막혀서 삭이 되어야지 왜 망이 되는거죠 ㅠㅠ
-
나는 관상 안믿음 1 0
나 생긴건 적백 고정인데 아니양...
-
이감 4-1 1 0
76점 개 ㅈ된줄 알았는데 등급컷 상태가?
-
그게 나야 바 둠바 두비두밥~ ^^
-
됬다 씨발롬 1 0
다 재능이지 개새끼들 내가 3주전부터 시험을 준비하든 하루전날 시험 딱 보고 오면...
-
ㅅㅂ 왜 갑자기 누가 카톡을하면 카톡!! 하면서 알림이 안뜨지 소리는 안난다해도 폰...
-
난 말도안되는 운빨의 향연으로 공부는 적게하고 A를 받는걸 원한다옹!!!
-
잇올 대기 많이 밀려있나요? 1 0
아마 7월쯤 갈거같은데 아직 대기를 안걸어놔서..
-
침대 위 너와 나 1 0
침대에서 오르비 하는데 모기가 귀 옆에서 바로 앵앵거림 와 소름돋음 ㅈㄴ 무서워 ㅠㅠ
-
이해원 n제 1 0
이해원 n제 난이도 어느정도인가요? 선택 기하고 작수 3(80점) 이번 6모 1...
-
어디서 본 드립인데 1 0
물리학과 학생이 주식 못하는 이유가 주종목이 물리기때문이래
-
7월부터 내신 끝나고 지구과학 시작하려합니다. 커리 이정도면 되나요? 3 0
7월부터 수능때까지 쭉 지구과학 감을 유지시키려 합니다. 내신 끝나고 나면 아마...
-
6/16 학습 기록 1 0
기상 시간 6:30 총 학습시간: 10시간 00분 10초 국어: 독서 시대기출...
-
공통 미적기준 이번 6평보다 쉬움?
-
ㅈ의 칭호는 고트만 받음 0 0
메ㅈ ㅈ날두 착착 붙음
??
저게뭐임
답 칼슨이 체스판을 엎음