Per ardua ad astra.

간접 증명법 간접 증명법은 증명해야 하는 명제를 변형하여 증명하는 방법으로, 모순 증명법, 대우 증명법 그리고 존재/반례 증명법이 있다. 모순 증명법 : 증명해야 하는 조건 명제에서 결론에 해당하는 명제를 부정하여 증명하는 방법 대우 증명법 : 증명해야 하는 조건 명제를 대우 명제로 변형하여 증명하는 방법 존재/반례 증명법 : 명제를 참(T)으로 만드는 원소가 있는지, 혹은 명제를 거짓(F)으로 만드는 원소가 있는지를 판단하여 증명하는 방법 모순 증명법(Proof by Contradiction) 조건 명제 `p → q` 와 $\neg (p \land \neg q)$ 가 동치임을 이용해, $p \land \neg q$ 가 거짓(F)임을 보임으로써 증명하는 방법 $\neg (p \land \neg q)$ $..