Kesetaraan logika

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
(Dialihkan dari Ekuivalensi 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 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[sunting | sunting sumber]

  1. ^ Pagiling, Sadrack Luden (2020-05-01). Logika Elementer. Deepublish. hlm. 18. ISBN 978-623-02-0977-2.