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 ≡ q , p :: q , p ⟺ q , atau bahkan dalam notasi Polish, E p q . Namun pandangan terkait simbol-simbol tersebut bergantung pada konteks, karena mereka juga dipakai dalam salah satu perangkai logika bikondisional, yaitu jika dan hanya jika.