Kesetaraan logika

Dalam logika dan matematika, kesetaraan logika atau ekuivalensi logika menyatakan bahwa dua proposisi yang berbeda dikatakan ekuivalen jika nilai kebenarannya sama. Kesetaraan logika pada proposisi $p$ dan $q$ terkadang dinyatakan sebagai $p\equiv q$, $p::q$, $p\iff q$, atau bahkan dalam notasi Polish, ${\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.