[일반] 논리학 할 줄 아는 게이 있음?

[않되용(kanna04040)]

6번 때문에 지금 이틀째 운지마려운데

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

부분증명을 쓸수있는 증명시스템이면

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

(전제 주어진거 순서대로 1,2,3 번호붙임.) 4.B 를 가정하는 부분증명 열어서 5.A 를 가정하는 부분부분증명 열고 4,5와 1로부터 6.C를 얻음. 여기서 A를 전제로하는 부분증명은 끝나고 5~6을 근거로 7.A->C를 얻음. 7과 2로부터 8.D를 얻음. 4와 3으로부터 9.E를 얻음. 8,9로부터 10.D^E를 얻음. 여기서 B를 전제로하는

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

부분증명은 끝나고 4~10으로부터 11.B->D^E 를 얻음.

[않되용(kanna04040)]

부분증명이 먼지 잘 몰라스 일단 고마워요

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

부분증명 안쓰려면 결론부정 넣어서 모순보여야할거같은

[않되용(kanna04040)]

아냐 결론부정쳐서 간접증명도 할 수 있고 직접증명도 할 수 있어요 지금은 푼 상태라서

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

오..

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

저는 안보이네요 추론규칙 뭐뭐쓸수있음?

[않되용(kanna04040)]

제가 푼거로는 ->의 정의, 결합법칙, 추이법칙, 논리합의 삼단논법, 드모르간, 분배법칙 이정도 쓴거같네요

[않되용(kanna04040)]

미적갤이라 궁금할지는 모르겟지만 궁금하시면 제가 푼거 올려볼게요

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

저 풀이한번보고싶워요

[않되용(kanna04040)]

https://m.dcinside.com/board/calculus1/4891

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

논리학 공부 대충해보긴했는데 다 까먹어서, 그리고 저게 어떤범위에서 해석가능하고 해석해야하는지 모르겠어서 확답은 못해주겠음 어떤점이 궁금한건지 말해주삼 - dc App

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

전체적인 부분을 알수없어서 생각좀해봐야할듯 - dc App

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

밑에짤린부분이 ~~를 이용하여 논증7,8,9를 밝혀보아라인데 이거처럼 뭐를 이용해서 논증 4,5,6을 밝히라는 그런거없음?? 만약못보여주면 그냥 식대로 풀어서 보여주고 - dc App

[않되용(kanna04040)]

그냥 123이 조건 그러므로에 있는 저걸 도출해내거나 저걸 부정해서 모순 끌어내기

[않되용(kanna04040)]

지금은 이미 푼 상태긴 해요

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

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

경문사 집합론인가 나도이거해

[않되용(kanna04040)]

맞워요

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

[Studyg(kjh1611)]

you feng lin저임?

[Studyg(kjh1611)]

문제가 익숙해....

[않되용(kanna04040)]

맞아요

[Studyg(kjh1611)]