PROOF 26

증명하라.

귀류법은 정당하다

명제 논리 위에서.

정의 D1

모순이란 q ∧ ¬q 꼴의 명제다. 이것을 ⊥ 로 쓴다.

증명.

관련 실험실