Kesetaraan logika

Dalam logika dan matematika, kesetaraan logika atau ekuivalensi logika^[1] menyatakan bahwa dua proposisi yang berbeda dikatakan ekuivalen jika nilai kebenarannya sama. Kesetaraan logika pada proposisi p {\displaystyle p} dan q {\displaystyle q} terkadang dinyatakan sebagai p ≡ q {\displaystyle p\equiv q} , p :: q {\displaystyle p::q} , p ⟺ q {\displaystyle p\iff q} , atau bahkan dalam notasi Polish, E p q {\displaystyle {\textsf {E}}pq} . Namun pandangan terkait simbol-simbol tersebut bergantung pada konteks, karena mereka juga dipakai dalam salah satu perangkai logika bikondisional, yaitu jika dan hanya jika.

Referensi