증명하라.

정의 D1

두 명제가 모든 진리값 배정에서 같은 값을 가질 때 두 명제는 동치라 하고 ⟺ 로 쓴다.

증명.