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 ${\displaystyle p}$ dan ${\displaystyle q}$ terkadang dinyatakan sebagai ${\displaystyle p\equiv q}$, ${\displaystyle p::q}$, ${\displaystyle p\iff q}$, atau bahkan dalam notasi Polish, ${\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.