Friday, October 17, 2014

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)
 

 

Artikel Terkait

0   komentar

Post a Comment

Cancel Reply

Google+ Followers

Demo