Per ardua ad astra.

증명의 이해 증명은 어떤 사실이 참(T)임을 보이는 것으로서 증명에 사용되는 모든 내용들이 타당해야만 정당한 증명이 된다. 증명(Proof) 하나의 명제가 참(T) 임을 확인하는 과정 증명의 과정에는 추론 방식이 적용된다. 추론 : 참(T)으로 판별된 전제를 이용하여 결론이 참(T) 또는 거짓(F)임을 판별하는 과정 그러므로 증명 과정에서도 참(T)인 전제를 사용해야 하며, 이 전제를 이용하여 주어진 명제가 참(T)임을 보여야 한다. 증명에서 사용되는 전제로는 공리, 정의, 정리가 있다. 공리(Axiom) 별도의 증명 없이도 항상 참(T)이라고 판단하는 명제 다음 명제들은 공리의 대표적인 예이다. 명제 `p` 가 참(T)이면, 명제 $p \lor q$ 도 참(T)이다. 두 점이 주어질 때, 그 두 점을 ..