다음 두 식 , 에 대해서, 다음 중 어느 것이 참인가? 는 모두 명제를 나타내는 문자이다.
P와 Q는 동일하다.
P ⇒ Q이지만 Q ⇒ P는 아님
Q ⇒ P이지만 P ⇒ Q는 아님
P는 Q와 항상 반대값을 가진다.