Lompat ke isi

Kesetaraan logika

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Revisi sejak 12 Juli 2022 16.44 oleh Dedhert.Jr (bicara | kontrib)
(beda) ← Revisi sebelumnya | Revisi terkini (beda) | Revisi selanjutnya → (beda)

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.