연습문제 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를 선물하세요.
-
나 오르비조아해 7 1
내 보잘ㄹ것업는 청툰도바칠수이서
-
앞이 하얘졌음 (가) (나) 읽으면서…. 잘못하면 재수다라는 생각이 뇌를 지배해서...
-
옥단춘전 0 0
옥단춘이 너무 귀여워요.
-
옯만추 5 1
궁금하긴 합니다
-
언제까지 내가 할려나 해보자(8:00~23:00)
-
죄송해요 8 0
방금까지의 일은 없었던 겁니다 음음 뻘글발사기였다고 생각해주세요
-
술 하나ㅏ도언먹고 7 1
취한것처렁글쓰기
-
고3 6모 국어 5 1
아슬5 떴어요.. 지금이라도 ebs연계 신경쓰려구요.. 지금 강e분 사는건...
-
카보베르데 골키퍼 이름 4 0
-
확통 노베 0 0
재수생 확통 공부 하려는데 ㅇㅅㅈ 선생님의 기초코드 듣고 유형코드 푸는것에 어려움이...
-
갓튀긴 오니온링 0 1
파삭허다
-
12월로 돌아가라고하면 7 0
투사탐을 해야한다 => 한지 or 경제 + 사문 투과탐을 해야한다 => 화1 지2...
-
ㄹㅇ 안구해지던데 그리고 과외시장 평균 학벌이 너무 높음 연잡대는 취급도 못받음 ㅜㅜ
-
2학기부턴 벼락치기 안함 6 0
ㄹㅇ 첫학기정돈 놀수잇잖아 그치
-
다이어트 시작할거임 7 0
응원좀
-
월드컵보고싶다 5 0
재종방학이리온
-
그때 비행기 기다린다고 밤새서 오르비하고 그러다 일본갔는데 시간참빨라
-
-
대인라 질문 0 0
대인라는 양방향소통?이 가능하다는데 혹시 캠 키고 하는 일종의 화상수업인가요?...
-
국어를 잘할 방법은 무엇일까 0 0
몰까나~~
??
저게뭐임
답 칼슨이 체스판을 엎음