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  dan  terkadang dinyatakan sebagai , , , atau bahkan dalam notasi Polish, . 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 

Logika matematika