同値
同値の基本的な性質は以下の通り。( ⇒ {\displaystyle \Rightarrow } は論理包含(ならば)、 ∧ {\displaystyle \land } は論理積(かつ))
反射律: p ⇔ p {\displaystyle p\Leftrightarrow p}
対称律: ( p ⇔ q ) ⇒ ( q ⇔ p ) {\displaystyle (p\Leftrightarrow q)\Rightarrow (q\Leftrightarrow p)}
推移律: [ ( p ⇔ q ) ∧ ( q ⇔ r ) ] ⇒ ( p ⇔ r ) {\displaystyle [(p\Leftrightarrow q)\land (q\Leftrightarrow r)]\Rightarrow (p\Leftrightarrow r)}