질문 있습니다..

[Kari_Mi..(jaemin7362)]

맨위의 문장을 참인지, 거짓인지 혹은 우연적으로 참인지를 알아내는 문제인데..

다음과 같이 푸는게 맞는 풀이일까요?

- dc official App

[ㅁㄴㅇㄹ(122.38)]

어떤 문장이요? - dc App

[Kari_Min(jaemin7362)]

(A V C) 어쩌고 하는거요

[ㅁㄴㅇㄹ(122.38)]

어디부터 어디까지가 추론과정인가여? - dc App

[Kari_Min(jaemin7362)]

문제 자체가 문장을 주고 이 문장이 논리적으로 참인지, 거짓인지 혹은 우연적으로 참인지를 구하는 건데

[Kari_Min(jaemin7362)]

교환법칙, 분배법칙, 드 모르간 법칙 설명하고 나온 부분이라

[Kari_Min(jaemin7362)]

첫문장 말고는 제가 나름 배운거 적용해서 해본건데.. 답은 맞았는데 과정이 맞는지를 모르겠네요..

[ㅁㄴㅇㄹ(122.38)]

마지막에 D로 치환한 이유가 뭔가요 D가 거짓인건 처음부터 전제되있었나요? - dc App

[Kari_Min(jaemin7362)]

아 치환은 굳이 안해도 되는거 식 좀 간편하게 할려고 한건데 애초에 C & ~C라 무조건적으로 거짓 아닌가요?

[ㅁㄴㅇㄹ(122.38)]

진리표로 확인해보니 틀리셨습니다 - dc App

[ㅁㄴㅇㄹ(122.38)]

다른 명제를 도출하는데 어떤 전제를 사용했고 어떤 규칙을 사용했는지 알려주세여 - dc App - dc App

[ㅁㄴㅇㄹ(122.38)]

혹시 연언 제거 사용하셨으면 반드시 표기하셔야 합니다 - dc App

[Kari_Min(jaemin7362)]

틀렸다는게 최종 결론이 틀렸다는 건가요? 답지에선 우연적 문장이 맞다는데..

[ㅁㄴㅇㄹ(122.38)]

엄밀하게 보면 도출과정이 저렇게 바로 넘어가지 않아요 중간에 연언 제거 사용하셔야 하는데 빠뜨리셨어요 - dc App

[Kari_Min(jaemin7362)]

우선 두번째 문장에서 결합규칙 사용했고, 세번째 문장에선 (C&C) 라고 나오길레 그냥 C로 바꾸었습니다. 네번째 문장은 세번째 문장의 분배법칙을 역으로 한거고요..

[Kari_Min(jaemin7362)]

연연 제거를 표기 한다는 말이 어떤 말인가요? 제가 (C & C) 를 C로 바꾼거 말씀하시는 건가요?

[Kari_Min(jaemin7362)]

제가 코어 논리학 80쪽까지 봤는데.. 여기까지는 해당 개념이 나오지 않은 것 같습니다.. 뒤에 나올 개념을 제가 마음대로 푼 건가요?

[ㅁㄴㅇㄹ(122.38)]

엄밀하게,명제안에 속해있는 명제 예를 들어 (a or b) and c 에서 a or b같은 명제는 오직 논리적 동치 만을 사용할수 있고 연역규칙을 사용하려면 연언제거 같은 규칙으로 사용할 명제를 따로 빼주셔야 합니다 - dc App

[ㅁㄴㅇㄹ(122.38)]

아마도 아직 내용이 나오지 않거나 책에서 다루지 않나보네요 좀더 느슨하게 다시 확인해볼게요 - dc App

[Kari_Min(jaemin7362)]

시간 내서 봐주셔서 감사합니다.

[ㅁㄴㅇㄹ(122.38)]

일단 2번째 명제를 도출하는 과정만 틀리셨어요 결합규칙은 연언문만 혹은 선언문만 연결되었을때 가능한겁니다 나머지는 맞고요 p and p 에서 p를 도출하는것은 한마디법이라는 동치구요 동치는 선후가 없기에 반대로 했다는 표현은 필요없습니다 - dc App

[Kari_Min(jaemin7362)]

아 알겠습니다. 답변해 주셔서 정말 감사합니다.