PROOF 25
대우만 원래 명제와 같다
명제 논리 위에서.
정의 D1
명제 p → q 에 대하여 q → p 를 역, ¬p → ¬q 를 이, ¬q → ¬p 를 대우라 한다.
증명.
관련 실험실