1 / 20

Pertemuan kedua

Logika proposisi. Pertemuan kedua. Logika proposisi. Proposisi adalah setiap pernyataan yang hanya memiliki satu nilai benar atau salah . Logika proporsional adalah logika yang menangani atau memproses atau memanipulasi penarikan kesimpulan secara logis dari proposisi-proposisi.

ronat
Download Presentation

Pertemuan kedua

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. Logikaproposisi Pertemuankedua

  2. Logikaproposisi • Proposisiadalahsetiappernyataan yang hanyamemilikisatunilaibenaratausalah. • Logikaproporsionaladalahlogika yang menanganiataumemprosesataumemanipulasipenarikankesimpulansecaralogisdariproposisi-proposisi.

  3. Bagian – bagianlogika • Sentences, Kalimat yang bisadigunakanhanyakalimatdeklaratifadalah kalimat yang mengandung nilai kebenaran true atau false tetapi tidak mungkin memiliki kedua nilai tersebut. • Propositional connectives, Adalahpenghubunguntukmengkombinasikanduaproposisiataulebihyaitunot, and, or, if-then, if-and-only-if, if- then-else.

  4. Contoh sentences • Hariinicerah • Tidakadamanusia yang hidupabadi • Indonesia adalahnegarakaya • Angka 13 adalahangkasial • Stop, don’t touch me • Mau kemanaliburanpanjangnanti • 1 = 2 • Kosongadalahhampa

  5. Yang harusdiperhatikan • Syntactics rule adalahaturanyang diperlukanuntukmengkombinasikanantaraproposisidan Propositional connectives untukmenghasilkansentences • Semantic Rule Adalahsuatuaturan yang digunakanuntukmenentukan “truth value” darisuatusentence dariinterpretasisuatuProposisi

  6. SYNTACTICS RULE • Setiapproporsisiadalah sentences tanpaadaPropositional connectives • Jika p adalah sentences makanegasinya not p juga sentences • Jika p dan q adalah sentences maka conjunction-nyayaitu p and q jugasuatu sentences • Jika p dan q adalah sentences maka disjunction-nyayaitu p or q jugasuatu sentences • Jika p dan q adalah sentences maka implication-nyayaitu if p then q juga sentences • Jika p dan q adalah sentences makaequivalen-nyayaitu p if and only if q adalah sentences • Jika p, q dan r adalah sentences maka conditional-nyayaitu if p then q else r adalah sentences

  7. INTERPRETASI Adalahpemberiannilaikebenaran (true atau false) padasetiap symbol proposisidarisuatukalimatlogika.

  8. Beberapa semantic rule • Negative Rule (NOT) “ – “ ”Negasibernilai true jikaproposisibernilai false, dansebaliknyanegasibernilai false jikaproposisinyabernilai true”. • Conjunction Rule (AND) “ “ “ Konjungsibernilai true jikakeduaproposisibernilai true, jikasalahsatuproposisinya false makakonjungsibernilai false” • Disjunction Rule (OR) “ “ “ Disjungsibernilai true jikaminimal satuproposisinya true, jikasetiapproposisinyabernilai false makadisjungsibernilai false”

  9. Implication rule (Implikasi) “ “ “ Implikasibernilai false jikaproposisisebabbernilai true, danproposisiakibat-nyabernilai false” • Biimplication/ekivalensi (Biimplikasi) “ “ “ Biimplikasibernilai true jikakeduaproposisibernilaisama – sama true atausama – sama false” • Not And “ “ “ Not And bernilai false jikakeduaproposisibernilaisama – sama true, selainitu true”

  10. Not Or (NOR) “ “ “ Not Or bernilai true jikakeduaproposisibernilaisama – sama false, selainitu false” • Eksklusive Or (XOR) “ “ “ Eksklusive Or bernilai false jikaproposisibernilaisama – sama true atausama – sama false, selainitu true”

  11. Tabelkebenaran

  12. Tabelkebenaran 3 variabel

  13. Soal • Tentukannilaikebenarandarikalimatlogikaberikut p=T, q=T, r=F, s=F jika : • ((if p then q) and (if q then p)) if and only if (q or not p) • (p and (if r then s)) if and only if ((if r then s) and p) • If (p and (not q)) then ((not p) or r)

  14. AturanPengurutan • Digunakanuntukmemastikanprosespengerjaansubekspresi. • Tabelhierarkiperangkai • Jikamenjumpailebihsatuperangkaipadahierarki yang sama, makaakandikerjakanmulaidari yang kiri.

  15. Contohsoal Masukkantandakurungbiasakedalamekspresilogikaberikutinisehinggatidakterjadiambiguitas: • A B C D • A  B   C  D • A  B  C  A  B  C • A  B C  D

  16. ProposisiMajemuk • Perangkailogikadigunakanuntukmengombinasikanproposisi-proposisiatomikmenjadiproposisimajemuk. • Untukmenghindarikesalahantafsirakibatadanyaambiguitassatuorangdenganlainnya, proposisimajemuk yang akandikerjakanlebihdahuluakandiberitandakurung.

  17. Skema • Skemamerupakansatucarauntukmenyederhanakansuatuproposisimajemuk yang rumitdenganmemberihuruftertentuuntukmenggantikansatusubekspresi. • Semuaekspresi yang berisiidentifikator-identifikator yang menunjukkanadanyasuatuekspresilogika.

  18. Contohsoal Ubahlahpernyataan-pernyataanberikutmenjadiekspresilogikaberupaproposisimajemuk: • Jikatikusituwaspadadanbergerakcepat, makakucingatauanjingitutidakmampumenangkapnya. • Bowomembelisahamdanmembelipropertiuntukinvestasinya, ataudiadapatmenanamkanuangdideposito bank danmenerimabungauang

  19. Kuisuntukminggudepan • Jikadewi lulus sarjanateknikinformatika, orangtuanyaakansenang, dandiadapatsegerabekerja, tetapijikadiatidak lulus, semuausahanyaakansia - sia

  20. Terimakasih

More Related