연습문제 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개인데 ppt 400여장을 공부해야 한다고요? 0 2
자살할까 공부 3시간 째인디 죽겠노
-
27 6평 윤사 for 생윤 0 2
올해 6평 윤사 문제 中 생윤러들이 풀면 좋은 문제들 선별해 보았습니다. 생윤...
-
. 0 0
-
미적분 자작 문항 하나 투척 0 0
30번 치고는 좀 쉬울 수도
-
오르비북스에서 나온 함정민 선생님의 "해시태그로 보는 영문법" 도서리뷰입니다. 책을...
-
수학 n제를 해야겠다 0 2
실모론 상방이 더 안 오르는 느낌,, 차주현t, 강철중t 수업도 기대됨
-
토마토쌀국수 먹어야지 나 진짜 천재인가 ㄹㅇ 개맛잇겟다앙
-
수학 엔제 풀 순서 ㅊㅊ좀여 0 0
1티어 : 이해원(S2), 드릴, 드릴드, 문해전(S2) 2티어 : 허들링,...
-
설레임 vs 이해원 즌2 0 0
설레임은 즌12이런거 없나요? 이해원 즌1은 풀어봤는데 설레임 이름이 너무 설레서...
-
죽자 0 0
죽자대자
-
강기원T 들었는데... 김범준 강K VS 정병호 강K 0 0
두 선생님 모두 신청완료후 결제까지 해둔상태입니다. 어떤 선생님 파이널 현강이 좋을까요?
-
고1 내신 0 1
이제는 휴짓조각이 되어버림..
-
미적기출 0 0
기출문제집두세권정도돌리긴햇는데 미적기출이불안한거같아...
-
월드컵파 막내였음...
-
개꼴리네 0 2
6모 대회 참여 ㄱㄱ https://orbi.kr/00078075294
-
칼시 대단하네... 0 1
주간 7조씩 거래되면 1% 떼가면 700억, 0.1%여도 70억씩 가만히 돈을...
-
한국외대 인문논술 Core 2027.ver입니다. 0 0
한국외대. 압도적으로 쉽습니다. 그러나 쉽다는 이유로 대충 분석하면 안 됩니다....
-
현재까지 1000단어/5000단어 (D+10일) 오늘 외우면 1100단어...
-
ㅁㅊ 갑자기 비염 0 0
왜 그런가 했더니 아무래도 아까 그 애교부리던 길고양이한테 꼬리로 계속 얻어맞아서...
-
시대라이브 수학 시즌2 0 0
한달안에 다듣는거 무리라고 생각하시나요?
??
저게뭐임
답 칼슨이 체스판을 엎음