님들 이거 왜 ~B를 가정하는거죠

[익명(58.234)]

~ 도입 규칙 적용할때 정명제를 가정하는거는 아는데

~B 가정은 무슨 규칙을 근거로 하는거에요??

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(58.234)]

~제거 규칙은 ~~에서 ~제거 할때 쓰는거 아녀요?

[TIME(ghawmzldjs71)]

~B 거나 B 일수 밖에 없는데 ~B면 13 이랑 14를 봐봐 서로 모순되지 그러면 ~B는 모순을 불러온다는거고 명제논리가 속한 이치논리는 모순은 일어날수 없는거니까 ~B는 일어날수 없지 따라서 B 이렇게 추론되는거야

[TIME(ghawmzldjs71)]

바탕으로하는 건 이치논리와 폭발원리고

[익명(58.234)]

추론 과정은 알겠는데 어떤 추론 규칙ㅇ 따라 ~B를 가정한건지를 모르겠어서...

[TIME(ghawmzldjs71)]

이치논리는 걍 모든 명제는 참이거나 거짓이라는거고 폭발원리는 명제논리를 포함한 표준논리에서 모순을 하용하면 그어떤 명제도 이끌어낼수 있는 거 이야기하는거임

[TIME(ghawmzldjs71)]

아 그건 잠만

[TIME(ghawmzldjs71)]

일단 가정된 -B는 실제로 이끌어내어진게 아니라 -B이면 어떻게 되는지 보는거야 그건알지?

[TIME(ghawmzldjs71)]

안다고 가정하고 설명을 이어가자면 -B 거나 B가 항진이기 때문이 아무명제 없이도 이끌어내어질수 있어

[TIME(ghawmzldjs71)]

그리고 그 항진 명제로부터 3가지 경우의 수가 나오는데 하나는 B 다른 하나는 -B 나머진 B 그리고 -B인데 B그리고-B는 모순이니까 제외하면 결국 B와 -B 두 가정이 항진명제로부터 이끌어지는거지

[TIME(ghawmzldjs71)]

수정 '-B거나B'가 항진

[익명(58.234)]

오 뭔지 알거 같음요. 그럼 따로 추론 규칙이 있는건 아니고 ~B거나B가 항진명제라서 거기서 끌어낼 수 있단거죠?? 감사합니다