Sunday, July 22, 2012
Dua buah proposisi majemuk dikatakan ekivalen secara logika jika keduanya mempunyai tabel kebenaran yang identik.
Contoh. Tunjukkan bahwa p Ú ~(p Ú q) dan p Ú ~q keduanya ekivalen secara logika.
Penyelesaian:
p Ú ~(p Ú q ) Û p Ú (~p Ù ~q) (Hukum De ogran)
Û (p Ú ~p) Ù (p Ú ~q) (Hukum distributif)
Û T Ù (p Ú ~q) (Hukum negasi)
Û p Ú ~q (Hukum identitas)
Contoh. Buktikan hukum penyerapan: p Ù (p Ú q) Û p
Penyelesaian:
p Ù (p Ú q) Û (p Ú F) Ù (p Ú q) (Hukum Identitas)
Û p Ú (F Ù q) (Hukum distributif)
Û p Ú F (Hukum Null)
Û p (Hukum Identitas)