연습문제 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를 선물하세요.
-
확통 6모 84 이해원 1 0
13 21 22 28틀인데 13 28은 다시푸니까 풀수있는데 시즌1이랑 시즌2중에 뭘 풀까요?
-
맞팔구 2 1
팔구 칠십이
-
우리 우주가 수학모델인 이유 3 2
우리우주를 구동하려면 성능이 무한에 가까운 컴퓨터가 필요함 하지만 그런 컴퓨터는...
-
미래의 교육 방식 2 3
미래에는 진짜 생각하는 방식을 도입해서 교육할것임 어떻게? "서로 연관된 것들 중...
-
미적런 어떻게 생각하시나요 1 0
08 현역이고 미적 쌩노베입니다 모고보면 확통 282930은 걍 버립니다. 그냥...
-
덕코복권 1등 또하셨네 3 2
ㅊㅊ
-
기술 개꿀 2 3
오루비하기
-
영어봇을 만들었음 1 0
성능 확실
-
옯햄들 지거국 정시준비 고민좀(CPA) 장문.. 3 0
부경전 상경이고 CPA가 목표인데 학벌에 미련있어서 세기말 수능에 마지막으로...
-
감기걸렸는데 공부할말 2 1
어제 오늘 합해서 32시간 잤고 어제 일어나있는시간은 오르비하긴함 오늘 설맞이...
-
님들은 3 0
찐으로 학교 졸업하고도 만날 친구들 몇명임?
-
영어 4커리 함 해봐? 2 0
신택스 키스키마 이영수 기출 V단어 해버러 그냥?
-
현재 부산대 화공과 다니고 있는데 이번에 지역의사제도 하고 해서 약대를 도전해볼까...
-
수능때 연대자전 가능? 2 0
이과호소인입니다
-
레전드식곤증발생 2 1
으우ㅜㅜㅜㅜ어
-
본좌가 듣는중인 노래 1 1
-
09 문과생의 6모 탐구 후기 (세사 화1 50 50) 1 2
세계사 제가 초등학교때 흥미롭게 읽은 것 + 현재 내신기간에 배운게 전부라...
-
현역 수능 2 1
수학 30번 순수 찍맞했었던 추억이 아른거린다
-
6모 현대소설은 2 1
비연계였으면 어느정도 난이도임? EBS 안보고 들어가서 도입부 읽으면서 너무 당황했는데
-
32211로 어디갈수잇음? 1 1
화미영생사 중간 3/높2/2/1/1 뜨면 공대수준으로 어디쯤 가나요? 국어때문에...
??
저게뭐임
답 칼슨이 체스판을 엎음