[일반] 논리학 풀이

[않되용(kanna04040)]

[5둥리카일렝이(lillollool)]

오

[않되용(kanna04040)]

C.D는 구성적 양도논법 적기 귀찮아서

[5둥리카일렝이(lillollool)]

알아먹었음ㅋㅋ

[않되용(kanna04040)]

제가 한글책으로 배워서 그래요 근데 저거 집합론책인데..

[5둥리카일렝이(lillollool)]

수학과심?

[않되용(kanna04040)]

네 수학과에요

[5둥리카일렝이(lillollool)]

반갑네요

[않되용(kanna04040)]

수학과신가여

[5둥리카일렝이(lillollool)]

옙

[않되용(kanna04040)]

헉 슨배임

[5둥리카일렝이(lillollool)]

1학년이신가욥

[않되용(kanna04040)]

2학년이긴한데 반수한다고 수업안들어서 1학년 수업 듣는중이에요

[5둥리카일렝이(lillollool)]

화이팅

[빠구리중사뽀로로(kimminsoo310)]

아 작은 노트 빽빽하게 채워서 함축 전건 분배 이런거 다 적고 이리저리 동치인걸로 바꾸면서 증명하고 갤에 글싸려고 했는데 이미 당해버렷노 - dc App

[않되용(kanna04040)]

ㅋㅋㅋㅋㅋ

[빠구리중사뽀로로(kimminsoo310)]

내가 이거답변하려고 카페에서 집까지 호다닥 가서 종이 볼펜 챙긴다음 손바닥만한 노트 두장채웠는데 아 - dc App

[빠구리중사뽀로로(kimminsoo310)]

근데 저는 수학전공은 아니고 psat leet에 나오는 언어논리 기호논리 이런거 공부햇어요 - dc App

[않되용(kanna04040)]

저랑 완전 같은 풀이인가요? 아니라면 보고싶은데

[빠구리중사뽀로로(kimminsoo310)]

거의 비슷해요 저는 →과 부정을 이용해 표현하고 그걸 연언으로 바꾸거나 D나E같은걸 A,B의 논리곱, 논리합으로 연결된걸로 풀어서 바꿔쓰면서 생김새는 다르게생겼지만 똑같은 말인 동치를 위주로 전개했어요 - dc App

[않되용(kanna04040)]

글쿤여 암튼 고마워요

[빠구리중사뽀로로(kimminsoo310)]

[마시멜로짱달콤함(lovemint2003)]

근데 저거 간접증명 그냥 ~BvE = ~(B^~E) = B->E 하면 B->E ^ ~(B -> E) =C 해서 바로나오는거 같음

[빠구리중사뽀로로(kimminsoo310)]

마짱달똑똑한데 - dc App

[않되용(kanna04040)]

오 그러네

[않되용(kanna04040)]

~(B->E)가 어디서 나오는건지 혹시

[마시멜로짱달콤함(lovemint2003)]

결론이 B->(D^E) 니까 부정하면 ~(B->(D^E)) => ~(B->E)

[않되용(kanna04040)]

simplification을 후건에선 막써도 상관이 없나요?

[않되용(kanna04040)]

A^B->C에서 B->C로 단순화 때렸다가 교수님한테 빠꾸먹고 왔는디

[마시멜로짱달콤함(lovemint2003)]

나도 배우는사람이라 잘 몰?루

[않되용(kanna04040)]

아마 안될거같은딩

[마시멜로짱달콤함(lovemint2003)]