Page 11 - BAB 3 - KALKULUS PROPOSISI
P. 11

pernyataan  awalnya.  Jadi  negasinya  adalah:  “Fahmi  tidak  makan  nasi  atau  tidak  minum
               kopi”.

               Disini berlaku hukum De Morgan yaitu : ~(pq)  ekuivalen dengan ~p~q


               2. NEGASI SUATU DISJUNGSI
               Contoh : “Fahmi makan nasi atau minum kopi”
                       Suatu  disjungsi  akan  bernilai  salah  hanya  jika  kedua  komponen  penyusunnya

               bernilai salah., selain itu benar. Oleh karena itu negasi dari kalimat  diatas adalah : “ Tidak
               benar bahwa Fahmi makan nasi atau minum kopi” atau dapat juga dikatakan “Fahmi tidak

               makan nasi dan tidak minum kopi. Disini berlaku hukum De Morgan yaitu : ~(pq)  ~p~q


               3. NEGASI SUATU IMPLIKASI
               Contoh : “Jika hari hujan maka Adi membawa payung”.
                       Untuk memperoleh negasi dari pernyataan diatas, kita dapat mengubah bentuknya
               ke dalam bentuk disjungsi kemudian dinegasikan, yaitu :

                       p q  ~pq

               Maka negasinya
                       ~( p q)  ~(~pq)  p~q


               4. NEGASI SUATU BIIMPLIKASI
                       Biimplikasi atau bikondisional adalah pernyataan majemuk dari dua pernyataaan p

               dan q yang dinotasikan dengan p  q  (p → q)  (q → p)
               sehingga : ~(p  q)  ~ [(p → q)  (q → p)]

                                             ~ [(~pq )  (~qp)]
                                             ~ (~pq )  ~(~qp)

                            ~(p  q)  (p~q )  (q~p)




               LATIHAN
               1. Diketahui proposisi-proposisi berikut:
                       p : Pemuda itu tinggi
                      q : Pemuda itu tampan

                  Nyatakan dalam bentuk simbolik:
                  (a)  Pemuda itu tinggi dan tampan

                  (b)  Pemuda itu tinggi tapi tidak tampan
                  (c)  Pemuda itu tidak tinggi maupun tampan



               2013   11   Logika Matematika            Pusat Bahan Ajar dan eLearning
                          Tim Dosen                     http://www.mercubuana.ac.id
   6   7   8   9   10   11   12