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)