Hukum Logika Matematika
Hukum-hukum Logika
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)
Comments
Post a Comment