컴공 나온 갤러중에 이산수학 잘 푸는 갤러 있나 ㅠㅠㅠ

[코Sab(yeti01)]

논리적 동치 법칙을 이용하여 다음 합성명제가 항진명제임을 보여라.

1.[(pVq)^(~pVr)]->(qVr)
2.[~p^(pVq)]->q

드모르간 법칙 함축법칙 뭐 이런거 이용해서
항진명제임을 증명하는건데

암만 해도 안된다 ㅠㅠ 좀 도와줘 ㅠㅠㅠ

[익명(125.130)]

도서관 가서 이산수학 책이란 책은 다 빌려라

[근성가이(211.237)]

대1때하던거네.. 나도그지같은거많았는대 답은있음

[d(1.214)]

항진명제면 항상 진리인 명제인건가-_-

[d(1.214)]

이리저리 갖고놀면 되지않을라나;;;

[코Sab(yeti01)]

ㅇㅇ//홍채원? 여튼 걔가 쓴 빨간색 이산수학책이 기본교재고, 내가 진짜 이산수학 제대로 파보려고 rosen 번역본 7판 구매했는데, 씨발 빨간것도 못풀겠으니 그것도 여간 어려운게 아님;;;

[코Sab(yeti01)]

d//이리저리 가지고 놀아봐도 안되더라 ㅠㅠㅠㅠ 자꾸 막힘; 어디가 문제인지..참;;

[sh(68.146)]

문제를이해못하면ㅂㅈ인거죠?

[코Sab(yeti01)]

이해했다ㅋㅋㅋㅋㅋㅋㅋ 아 진짜 나 왜이렇게 빠가인지 모르겠네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 항진명제임을 증명하는거니 [식]≡T임을 증명하면 되는거였네 ㅋㅋㅋ 괜히 시발 병신같이 [(pVq)^(~pVr)]->(qVr)이걸 동시에 풀려고 했네;;; 그냥 좌변 qVr로 만들고 함축법칙 적용해서 T임을 보이면 되는거였는데;;;

[코Sab(yeti01)]

대학은 그냥 지거국