1 / 10

IT 105 Matematika Diskrit

Ekuivalensi. IT 105 Matematika Diskrit. Grace Lusiana Beeh , S. Kom . lezzz.mail@gmail.com. Kamis , 29 Jan 2011. Presentasi MatDis - Grace Beeh - 2011. Review implikasi (  ). Presentasi MatDis - Grace Beeh - 2011. Cara Menentukan Ekuivalensi. Dengan menggunakan tabel kebenaran

zaynah
Download Presentation

IT 105 Matematika Diskrit

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Ekuivalensi IT 105MatematikaDiskrit Grace LusianaBeeh, S. Kom. lezzz.mail@gmail.com Kamis, 29 Jan 2011

  2. PresentasiMatDis - Grace Beeh - 2011 Review implikasi ()

  3. PresentasiMatDis - Grace Beeh - 2011 Cara MenentukanEkuivalensi • Denganmenggunakantabelkebenaran • Denganmenggunakanhukumekuivalensilogika

  4. PresentasiMatDis - Grace Beeh - 2011 Ekuivalensisuatu Formula • Dalam membuktikan ekuivalensi p ≡ q, ada 3 macam cara yang bisa dilakukan : • P diturunkan terus menerus (dengan menggunakan hukum-hukum yang ada), sehingga akhirnya didapat q. • q diturunkan terus menerus (dengan menggunakan hukum-hukum yang ada) sehingga akhirnya didapat p. • p dan q masing-masing diturunkan secara terpisah (dengan menggunakan hukum-hukum yang ada) sehingga akhirnya sama-sama didapat R. • Sebagaiaturankasar, biasanyabentuk yang lebihkompleks yang diturunkankebentuk yang lebihsederhana.

  5. PresentasiMatDis - Grace Beeh - 2011 HukumEkuivalensiLogika

  6. PresentasiMatDis - Grace Beeh - 2011 HukumEkuivalensiLogika

  7. PresentasiMatDis - Grace Beeh - 2011 TambahanHukumEkuivalensiLogika • P  Q ≡ ~P  Q ≡ ~Q  ~P • ~(P  Q) ≡ P  ~Q • P  (QR) ≡ (P  Q) R • ~(P  Q) ≡ P  ~Q • P  Q ≡ (PQ)  (QP) • (P  Q) ≡ (P  Q)  (~P  ~Q) • Q  P ≡ ~P  ~Q • P  ~Q ≡ Q  ~P • Q  ~P ≡ P  ~Q

  8. PresentasiMatDis - Grace Beeh - 2011 …. • Hukum-hukumtersebut di atasdapatdigunakanuntukmenyederhanakankalimat-kalimatkompleks. Contoh: • Sederhanaknbentuk ~(~p ^ q) ^ (p v q)

  9. PresentasiMatDis - Grace Beeh - 2011 usai

  10. PresentasiMatDis - Grace Beeh - 2011 Tugas • Buatlahringkasandarimateriini. Ditulistangan, di kertasbinder (ukuran 30baris). • Kumpuldenganlatihansoal yang ada di papan.

More Related