지식인에 올린 전문이야..


흔히 수학과에서 배우는 이산수학이랑

컴퓨터 공학과에서 배우는 이산수학이랑 목차랑 배열이 조금 다른것 같더라구요...

어쨌든..

지금 막 1학년에 C언어도 제대로 배우지 않았는데

이산수학을 바로 들어갔거든요;(예제에 JAVA도 나오고 C도 나오고;;ㅋㅋㅋㅋ)

명제 파트인데;;

논리적 동치가 너무 어렵습니다;;

~(p∧q) = (~p)∨(~q)임을 보여라(드모르간의 법칙이죠?)

일단 진리표를 이용해서 이 값이 성립한다는건 알겠는데

여러가지 법칙이 섞여서

예를 들면

논리적 동치법칙을 이용하여 다음 명제가 동치임을 증명하여라

(1) ￢p∨(p∧q)->q≡T

여러가지 법칙을 어떻게 어떤 순서대로 적용을 시켜야 할지 정말 난감합니다.

답지만 보면

함축법칙 사용 후 드모르간의 법칙 결합법칙 멱등법칙 부정법칙 지배법칙

이런식으로 순차적으로 사용한다는데

이걸 어떻게 이런식으로 푸는 방법을 아는건지....

요약 하겠습니다.

1. 논리적 동치임을 보이는 문제를 쉽게 푸는 방법이 없을까요?(테크닉이라든지...)

(진리표를 사용하지 않고 각각의 법칙들만을 이용해야 합니다)

2. 혹시 이런 문제만 모아둔 사이트가 없을까요?(연습을 위해...)

3. 컴퓨터 프로그래머 선배가 계시다면.. 앞으로 있을 한정기호나 증명,집합,관계,함수,행렬에 대해

간단한 팁좀 주시면 감사하겠습니다(꼭 안주셔도 되요;)

감사합니다.

좋은 답변을 기대하고 있겠습니다.

대충 이렇게 글 올렸는데..

명제 존나어려워 ㅅㅂ

도와주라 ㅠㅠㅠ