형님들 제발 살려주세요

[익명(61.254)]

이거 도대체 어캐 풀어야 하나요? 어떤 사람이 4번째 전제에서 갑자기 귀류법으로 ~w 도출했다고 써놨는데ㅜ이해가 안갑니다. ㅠㅠ

- dc official App

[TIME(ghawmzldjs71)]

시험같은데 물어봐도 되는거???? - dc App

[익명(61.254)]

교수님이 내준 연습문제예요 - dc App

[TIME(ghawmzldjs71)]

교수님 께서 강의하신 추론규칙중에 혹시 복합양도 논법 없었나요? - dc App

[TIME(ghawmzldjs71)]

이걸 먼저 증명해보면 쉬울거임 a or b a->c b->c --------- c - dc App

[익명(61.254)]

양도 논법 쓰다보면 q or(y&~y) 가 나오는데 어캅니까? ㅠㅠ - dc App

[TIME(ghawmzldjs71)]

혹시 폭발원리 교수님께서 진도 나가심? - dc App

[익명(61.254)]

안배웠는데 혹시 실례가 안된다면 알려주실 수 있나요? - dc App

[TIME(ghawmzldjs71)]

1.p 2.-p 결론//(어떤 명제든) 3. p or (어떤 명제든) 1.선언첨가 4. (어떤명제든) 3,2 선언지 제거 - dc App

[익명(61.254)]

감사합니다 - dc App

[TIME(ghawmzldjs71)]

참 추론규칙에서 가정 사용 할 수 있는거 아니면 이걸로 풀려고 하지말고 정말로 강의 하신 내용중에 귀류법 이나 항위명제가 포함된 명제를 다루는 추론규칙 있나 다시확인해보셈 - dc App

[TIME(ghawmzldjs71)]

가정을 사용하지않는 형식 증명 에서는 폭발원리 못써 가정 사용가능한지 먼저 물어봤어야 하는데 미안하다 - dc App

[익명(221.145)]

P, Q가 명제일 때, P ∨ Q와 -Q가 모두 참이면 P도 참이에요.

[익명(61.254)]

혹시 조건 증명법으로 푸신건가요? - dc App

[익명(221.145)]

조건 증명법이 무엇인가요?

[익명(221.145)]

두 명제의 논리합이 참이려면, 둘 중 적어도 하나는 참이어야 돼요. 그러니 만약 논리합을 이루는 어느 한 명제가 거짓이라면, 다른 명제는 참이어야겠죠.

[TIME(ghawmzldjs71)]

혹시 귀류법은 교수님께서 강의 안해주셨나요? 교수님마다 추론규칙으로 사용하시는게 달라서요 - dc App

[TIME(ghawmzldjs71)]

만약에 귀류법이나 항위인 명제를 다루는 추론규칙을 다루시지 않으셨다면 항위인것부터 증명해야 할거에요 그러면 폭발원리로 증명하시면 됨 - dc App