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⟺q$, atau bahkan dalam notasi Polish, $\mathsf{\text{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.