연습문제 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월 16일!! 1 2
모두 화이팅이에요~!!
-
선대 공부함 청년 0 0
11시간 후에 시험 볼 청년
-
폴라리스 시즌0 2회 0 1
47점 13번 온대저기압 틀림 근데 ㄷ선지 대놓고 틀리라고 낸듯 배워갈게 있는것관...
-
레어 시스템의 목적이 뭔지 이해가 안감
-
스페인 무캠? 5 0
얘네 뭐 잘못먹었나
-
학교버스타러감쌰갈 1 1
걍가까운좆반고로가세요
-
[한국지리] 2027학년도 수능특강 5단원 풀이 영상 0 0
안녕하세요 박문돌입니다. 오늘은 2027학년도 수능특강 한국지리 5단원을 풀이하는...
-
이정도면 부정축구 아니냐 0 2
0112 뮤뮤 <--이게 단 하루만에 일어난일임
-
뭐지.. 6 0
열심히 새로고침하는데, 왜 새 글이 안 올라오지
-
지1 5 0
폴라리스 컬렉션이랑 오리온 다음에 또 풀만한거 있나요
-
다회복되고 2 0
내 몸과 마음이 회복되고 내신기간끝나고 수능국어 수능수학 몰입하고싶다 예전처럼 독하게 공부하고싶음
-
반수생 사탐 선택과목 0 0
작년에 생윤 윤사해서 각각 4등급 2등급 떴어서 생윤만 다른 걸로 바꾸려는데 정법...
-
앞이 하얘졌음 (가) (나) 읽으면서…. 잘못하면 재수다라는 생각이 뇌를 지배해서...
-
옥단춘전 0 0
옥단춘이 너무 귀여워요.
-
옯만추 5 1
궁금하긴 합니다
-
고3 6모 국어 5 1
아슬5 떴어요.. 지금이라도 ebs연계 신경쓰려구요.. 지금 강e분 사는건...
-
카보베르데 골키퍼 이름 4 0
-
확통 노베 0 0
재수생 확통 공부 하려는데 ㅇㅅㅈ 선생님의 기초코드 듣고 유형코드 푸는것에 어려움이...
-
갓튀긴 오니온링 0 1
파삭허다
-
ㄹㅇ 안구해지던데 그리고 과외시장 평균 학벌이 너무 높음 연잡대는 취급도 못받음 ㅜㅜ
??
저게뭐임
답 칼슨이 체스판을 엎음