연습문제 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
내신때문에 전액장학금 준대서 바로가버렷
-
자유전공학부로 의대를 못가면 3 1
그걸 진정한 자유라고 부를 수 있을까
-
오늘부터 ㄹㅇ 열심히 함 3 0
ㄹㅇ
-
271122 3 0
를 소인수분해하시오
-
나는 언매, 사문은 ㄹㅇ 적성에 맞았던 것 같음 6 0
사문 최저점: 47점 -> 수능 백분위 100언매 3년동안 문법에서 하나인가...
-
국수못광광울 4 0
-
0615공부기록 3 0
너무저능해서슬프다 난왜이럴까
-
이번 6평 수1은 22번 말곤 다맞았긴한데 솔직히 22 말고는 수1 문제들은 다...
-
이감 뭐 사야함 3 0
기출 돌리고 있는 중 실모의 필요성을 느껴서 실모 풀고 싶은데 가장 유명한 이감...
-
Muu 역타노스 가나 0 0
저번처럼 +60한번 더 보여줘
-
나는 2830이 제일 어려엇음 4 1
-
물리황님들 도와주십쇼 2 0
08현역인데 이번 6평 45(1컷)입니다(7 19 틀) 근데 이제 영원히 실수를...
-
잠 안와 2 0
자는법좀
-
오노추 3 0
음음
-
자러갑니다 2 0
다들 화이팅
-
N수생활은 진짜 올해까지할듯 4 1
놀지도못하고 술도 못마시고 알바도 못하고 학원만 들락날락하는게 너무 깜빵생활같음...
-
난 연세대 응원가 들으면 약간 PTSD 오는 게 3 0
그날 합응 끝나고 술마시고 ㅈㄴ 흑역사를 써서 ㅜㅜㅜㅜ
-
엔팁 특인지는 모르겠는데 3 1
문득 나는 왜이렇게 다방면으로 잘났지? 이딴생각 들때가있음
-
현역 논술 5 0
6모 기준 높25332 인데 인논 준비하는게 맞을까요? 현역때 정시에만 몰빵했다가...
-
일찍잔다 5 0
얼리버드가 될거야잇
??
저게뭐임
답 칼슨이 체스판을 엎음