1 / 28

Logika Proposisional ( Bagian 2)

Logika Proposisional ( Bagian 2). Logika Informatika Teknik Informatika STTA 2013. Proposisi dilambangkan dengan huruf kecil. p : 17 adalah bilangan ganjil . q : Untuk sembarang bilangan bulat n ≥ 0, maka 2 n adalah bilangan genap . r : 2 + 2 = 4. Relasi Proposisi (1).

igor-barrera
Download Presentation

Logika Proposisional ( Bagian 2)

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. LogikaProposisional(Bagian 2) LogikaInformatika TeknikInformatika STTA 2013

  2. Proposisidilambangkandenganhurufkecil • p : 17 adalahbilanganganjil. • q : Untuksembarangbilanganbulatn ≥ 0, maka 2n adalahbilangangenap. • r : 2 + 2 = 4

  3. RelasiProposisi (1) Misalkanp danq adalahproposisi. 1. Konjungsi(conjunction): p danq Notasip  q, 2. Disjungsi(disjunction): p atauq Notasi: p q 3. Ingkaran (negation) dari p: tidak p Notasi: ~p

  4. TabelKebenaranKonjungsi Contoh 1: p : HariinihariKamis q : SayamahasiswaTeknikInformatika p  q : HariinihariKamisdanSayamahasiswaTeknikInformatika • p bernilai T, qbernilai T • p  q = T

  5. TabelKebenaranKonjungsi Contoh 2: p : HariinihariKamis q : SayamahasiswaTeknikMesin p  q : HariinihariKamisdanSayamahasiswaTeknikMesin • p bernilai T, qbernilai F • p  q = F

  6. TabelKebenaranKonjungsi Contoh 3: p : HariinihariRabu q : SayamahasiswaTeknikInformatika • p bernilai F, qbernilai T • p  q = F

  7. TabelKebenaranKonjungsi Contoh 4: p : HariinihariRabu q : SayamahasiswaTeknikMesin • p bernilai F, qbernilai F • p  q = F

  8. TabelKebenaranKonjungsi

  9. TabelKebenaranDisjungsi Contoh 1: p : HariinihariKamis q : SayamahasiswaTeknikInformatika p  q : HariinihariKamisatauSayamahasiswaTeknikInformatika • p bernilai T, qbernilai T • p q = T

  10. TabelKebenaranDisjungsi Contoh 2: p : HariinihariKamis q : SayamahasiswaTeknikMesin • p bernilai T, qbernilai F • p  q = T

  11. TabelKebenaranDisjungsi Contoh 3: p : HariinihariRabu q : SayamahasiswaTeknikInformatika • p bernilai F, qbernilai T • p  q = T

  12. TabelKebenaranDisjungsi Contoh 4: p : HariinihariRabu q : SayamahasiswaTeknikMesin • p bernilai F, qbernilai F • p  q = F

  13. TabelKebenaranDisjungsi

  14. TabelKebenaranIngkaran

  15. RelasiProposisi (2) Misalkanp danq adalahproposisi. 1. Kondisionalatauimplikasi: p q 2. Konvers (kebalikan) : q p 3. Invers : ~ p ~ q 4. Kontraposisi : ~ q ~ p

  16. TabelKebenaranImplikasi Contoh 1: p : Sayalapar q : Sayamakan p  q :Jikasayalapar, sayamakan • p bernilai T, qbernilai T • p  q = T

  17. TabelKebenaranImplikasi Contoh 2: p : Sayalapar q : Sayatidakmakan p  q : Jikasayalapar, sayatidakmakan • p bernilai T, qbernilai F • p  q = F

  18. TabelKebenaranImplikasi Contoh 3: p : Sayatidaklapar q : Sayamakan p  q : Jikasayatidaklapar, sayamakan • p bernilai F, qbernilai T • p  q = T

  19. TabelKebenaranImplikasi Contoh 4: p : Sayatidaklapar q : Sayatidakmakan p  q : Jikasayatidaklapar, sayatidakmakan • p bernilai F, qbernilai F • p  q = T

  20. TabelKebenaranImplikasi

  21. TabelKebenaranKonvers Contoh 1: p : Sayalapar q : Sayamakan q  p:Jikasayamakan, sayalapar • p bernilai T, qbernilai T • p  q = T

  22. TabelKebenaranKonvers Contoh 2: p : Sayalapar q : Sayatidakmakan q p: Jikasayatidakmakan, sayalapar • p bernilai T, qbernilai F • p  q = T

  23. TabelKebenaranKonvers Contoh 3: p : Sayatidaklapar q : Sayamakan q p: Jikasayamakan, sayatidaklapar • p bernilai F, qbernilai T • p  q = F

  24. TabelKebenaranKonvers Contoh 4: p : Sayatidaklapar q : Sayatidakmakan q p: Jikasayatidakmakan, sayatidaklapar • p bernilai F, qbernilai F • p  q = T

  25. TabelKebenaranKonvers

  26. TabelKebenaran

  27. Relasi Bi-kondisional • Bentukproposisi: “p jikadanhanyajika q”

  28. Review RelasiProposisi: • Konjungsi • Disjungsi • Ingkaran • Implikasi • Konvers • Invers • Kontraposisi • Bi-implikasi

More Related