연습문제 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일차) 불 꺼진 방 6 1
불 꺼진 방에 내일이 먼저 왔다. 나는 아직 어제인데.
-
자야지 4 0
웅웅
-
딱 올해까지만 4 2
힘내봥야갯어 그다음은잘모루갯다 ㅎ ..
-
사문 못하는 이유 2 2
친구들 얘기 들어보면 다들 사문은 존나 쉬운 개꿀과목이라하고 과탐에서 2~3 받던...
-
난 수험생일때로 돌아간다하면 4 0
미적 과탐 ㅅㅂ 바로 갖다버리고 확통 사탐한다 ㄹㅇ
-
공유)수행평가 자기평가서 작성법과 자동완성도우미 0 0
이제는 ‘느낀 점’보다 ‘과정’이 중요합니다 수행평가가 끝나면 학생들이 가장...
-
삼일한 문화를 부활시켜야겠어 0 1
요망한 계집년들 ㅎㅎㅎ
-
MC재명-찢행기 0 0
https://youtu.be/3uhS6Vfmx00?si=X2OVfJAIV1lAJWfN
-
1월달로 돌아가고싶으면개추 4 5
니미시발진짜
-
못참겠다 2 2
2학기 무휴반 해야지~
-
올붕이들 6 0
오타쿠가 많네 예쁜 여캐랑 자꾸 눈마주침 근데 여캐프사=여자올붕이임?
-
06) 오늘의 공부인증 5 0
순공시간 1H30M 정치학개론 5주, 6주차 복습 (v)정치학개론 10주차 노트 (v)
-
시험 전날 혼술 0 0
-
왜 되는게 하나도 없나 3 1
어째서
-
하반기 목표 4 0
이의제기 게시판 안들어가기 TA랑 100분토론 하지 않기
-
옳게된 오르비
-
그대들은그뭐냐살아라 0 0
살아만있어도반은간거다
-
부자가 되어보자
-
단어장 추천 0 0
VocaHub 장점 : 1.과학적인 복습 알고리즘 1-1. 까먹었을 확률이 높은...
-
이제 ㄴ모든건 나에게달렷네 4 0
일생일대에 가불기가ㅏ 걸렷어 지금
??
저게뭐임
답 칼슨이 체스판을 엎음