Equivalen

Terkadang dua buah proposisi majemuk dapat dikombinasikan dalam berbagai cara namun semua kombinasi tersebut tetap menhasilkan tabel kebenaran yang sama. Hal seperti ini disebut equivalen secara logika dan dinyatakan dalam de…nisi sebagai berikut.

Defnition

Dua buah proposisi majemuk, P (p, q,...) dan Q (p, q,...) disebut equivalen secara logika, dinotasikan P (p, q,...) Q ( p, q,...) jika keduanya mempunyai tabel kebenaran yang identik.