1 / 21

ILMU KOM PUTER FAK MIPA UGM

ILMU KOM PUTER FAK MIPA UGM. p : false. p : true. Pohon Semantika. If ( ( if p then q) then (if (not p) then (not q)) ). 1. 3. 2 T. If ( ( if p then q) then (if (not p) then (not q)) ) T T T F T. p : false. p : true. q : false. q : true.

hien
Download Presentation

ILMU KOM PUTER FAK MIPA UGM

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. ILMU KOMPUTER FAKMIPAUGM

  2. p : false p : true Pohon Semantika If ( ( if p then q) then (if (not p) then (not q)) ) 1 3 2 T If ( ( if p then q) then (if (not p) then (not q)) ) T T T F T

  3. p : false p : true q : false q : true Pohon Semantika If ( ( if p then q) then (if (not p) then (not q)) ) F T F T F T F F T 1 If ( ( if p then q) then T T F F (if (not p) then (not q)) ) T T F T F 3 2 T Not Valid T F

  4. If q then (if p then q) ??????? Pohon Semantika

  5. {(IF p THEN q))} IF AND ONLY IF {((not p) OR q)} F 2 T 4 F 3 T 4 F 3 F 3 • F/T • 6 kesimpulan T/F 2 5 Kontrdk T F T F F F T/F {(IF(p THEN q))} IF AND ONLY IF {((not p) OR q)} T/F 2 5 kontrdk T 3 F 3 T 3 F 4 F 3 • F/T • 6 kesimpulan F 2 T F T F F F T/F Falsifikasi 1a). 1b).

  6. IF ((NOT p) OR (NOT q)) THEN (NOT(p AND q)) F/T 7 disimpulkan T/F 2 6 kontrdks F 2 T 3 F 5 F 5 T 4 T 4 T 4 T 4 2).

  7. Logika Informasi Materi. 1). Logika Proposisi. a). Pengenalan Informal b). Penghubung Logis (Operator, Functor) c). Tabel Kebenaran dp Formula. d). Penghubung Logis yang lain. e). Memanipulasi Formula Proposisinal. f). Negasi dp Formula Proposisional. g). Argumen.

  8. Logika Proposisional [Penggandeng Logis lainnya] Fungsi Kebenaran/Truth Functions Fungsi Kebenaran (kadang disebut suatu operator logis) adalah suatu fungsi yang mengambil nilai-kebenaran sebagai argumen dan selalu menghasilkan salah satu dari nilai T atau nilai F. Suatu fungsi kebe naran dapat mempunyai sejumlah operand (kadang-kadang disebut argumen atau tempat). Suatu fungsi dengan satu operand disebut suatu fungsi kebenaran monadika (  ).Jika mempunyai dua operand disebut dng fungsi ke benaran diadika (, , , ), jika tiga triadika ( If.. then .. else .. ) .

  9. p T F f0 F F f1 F T f2 T F f3 T T Logika Proposisional [Penggandeng Logis lainnya] Operator Monadika Terdapat 4 (=2^2) kemungkinan tabel-kebenaran untuk operator-mona dika (terdapat dua entri dalam tabel-kebenaran masing-masing T dan F) yg dapat dilihat dibawah ini : Empat kolom tersebut adalah : 1) f0 : Suatu fungsi yang hasilnya selalu F (falsum) 2) f1 : Operator negasi (lihat dibagian terdahulu) (Negasi) 3) f2 : Suatu fungsi yang bernilai seperti p (assertium) 4) f3 : Suatu fungsi yang hasilnya selalu T (Verum) f0(p) : f0(T) = F f0(F) = F f1(p) : f1(T) = F f1(F) = T f2(p) : f2(T) = T f2(F) = F f3(p) : f3(T) = T f3(F) = T

  10. p T T F F q T F T F g0 F F F F g1 F F F T g2 F F T F g3 F F T T g4 F T F F g5 F T F T g6 F T T F g7 F T T T g8 T F F F g9 T F F T h0 T F T F h1 T F T T h2 T T F F h3 T T F T h4 T T T F h5 T T T T Logika Proposisional[Penggandeng Logis lainnya] Operator Diadika h5 : verum ( suatu tautologi diadika ) ; (h5(p,q) = T) g0 : falsum (fungsi diadika yang selalu bernilai F) ; (g0(p,q) = F) h2 : bernilai sama dengan p ; (h2(p,q) = p) h0 : bernilai sama dengan q g3 : negasi daripada p, selalu bernilai sm-dng p) ; (g3(p,q) = p) g5 : negasi daripada q, selalu bernilai sm-dng q) ; (g5(p,q) = q) 10 (sepuluh) sisanya dibicarakan berikut ini ; (h0(p,q) = q)

  11. p T T F F q T F T F g0 F F F F g1 F F F T g2 F F T F g3 F F T T g4 F T F F g5 F T F T g6 F T T F g7 F T T T g8 T F F F g9 T F F T h0 T F T F h1 T F T T h2 T T F F h3 T T F T h4 T T T F h5 T T T T    Logika Proposisional[Penggandeng Logis lainnya] Operator Diadika g6 : Operator “non-equivalent”, “Exclusive Or” (disajikan dengan , , atau , atau XOR); p q =T (p  q) (p  q) =T (p q)  (q p) g1 : NOR, Joint denial, Pierce’s arrow (), negasi dp disjoint p  q =T(p  q) = p q g8 : and (konjungsi) ; g9 : ekuivalen ; h4 : or (disjungsi) ; h1 , h3 : implikasi

  12. p T T F F q T F T F g0 F F F F g1 F F F T g2 F F T F g3 F F T T g4 F T F F g5 F T F T g6 F T T F g7 F T T T g8 T F F F g9 T F F T h0 T F T F h1 T F T T h2 T T F F h3 T T F T h4 T T T F h5 T T T T    Logika Proposisional[Penggandeng Logis lainnya] Operator Diadika g7 : Operator “NAND”, “Incompatibility”, “Stroke”, “fungsi stroke Sheffer”, (simbol / atau ), negasi dp konjungsi p/q =T(p  q) = p q ; (p/q) = (pq) g2, g4 : fungsi “non implikasi” ( disajikan dengan ) q/p p/q =T (q/p  p/q) ; q/p p/q =T q/p  (p/q)

  13. Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika Operator triadika mempunyai 3 (tiga) operand. Dari 256 (= 2^8), pada saat ini hanya beberapa yang dapat langsung dimanfaatkan. Operator triadika ini sulit untuk disimbolkan, seperti misalnya operator “If..then.. Else..” disini variabelnya berupa titik-titik. Beberapa operator triadik adalah : 1) Disjungsi terkondisi (conditioned disjunction). If…then…else… disimbolkan [p,q,r] 2) Inkompatibel terkondisi dengan simbol [[p,q,r]] 3) L2 (mayoritas) ; L2(p,q,r) =T (pq)  (qr)  (rp); bernilai T jika paling sedikit dua atu lebih argumen bernilai T 4) L1 (Paling sedikit satu); dst

  14. p T T T T F F F F q T T F F T T F F r T F T F T F T F Tr0 T T T T T T T T Tr1 T T T T T T T F Tr2 T T T T T T F T Tr3 T T T T T T F F Tr4 T T T T T F T T Tr5 T T T T T F T F Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika [p,q,r] T T T F F F T F L2(p,q,r) T T T F T F F F Dst

  15. 4 T T T F F F T F p 1 T T T T F F F F q 1 T T F F T T F F r 1 T F T F T F T F (q 1 T T F F T T F F  2 T T F F F F F F p) 1 T T T T F F F F  4 T T T F F F T F ( 2 F F T T F F T T q 1 T T F F T T F F  3 F F T F F F T F r) 1 T F T F T F T F Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika 1) Disjungsi terkondisi; Ditulis [p,q,r] , diartikan jika q bernilai T hasilnya adalah nilai p dan jika nilai F maka hasilnya adalah nilai r. Jika ditulis dengan “If-then-else” maka menjadi “If q then p else r”. Jika disajikan dengan tabel kebenaran adalah : [p,q,r] =T (q  p)  (q  r)

  16. 4 F F F T T T F T p 1 F F F F T T T T q 1 T T F F T T F F r 1 F T F T F T F T (q 1 T T F F T T F F  3 F F F F T T F F ( 2 F F F F T T T T p)) 1 T T T T F F F F  4 F F F T T T F T (( 2 F F T T F F T T q) 1 T T F F T T F F  3 F F F T F F F T ( 2 F T F T F T F T r)) 1 T F T F T F T F Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika 2) Inkompatibelitas terkondisi; Ditulis [[p,q,r]] , ada kaitannya dengan disjungsi terkondisi diarti kan jika q bernilai T hasilnya adalah nilai p dan jika nilai F maka hasilnya adalah nilai r. Jika disajikan dengan tabel kebenaran adalah : [[p,q,r]] =T (q p)  (q r)

  17. 4 T T T F F F T F p 1 T T T T F F F F q 1 T T F F T T F F r 1 T F T F T F T F (q 1 T T F F T T F F  2 T T F F F F F F p) 1 T T T T F F F F  4 T T T F F F T F ( 2 F F T T F F T T q 1 T T F F T T F F  3 F F T F F F T F r) 1 T F T F T F T F  4 F F F T T T F T p 1 F F F F T T T T q 1 T T F F T T F F r 1 F T F T F T F T (q 1 T T F F T T F F  3 F F F F T T F F ( 2 F F F F T T T T p)) 1 T T T T F F F F  4 F F F T T T F T (( 2 F F T T F F T T q) 1 T T F F T T F F  3 F F F T F F F T ( 2 F T F T F T F T r)) 1 T F T F T F T F Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika Ternyata bahwa : [p,q,r] =T[[p,q,r]] , Disj-tkond = negasi Inkomptbl-Tkond

  18. 4 T T T F T F F F p 1 T T T T F F F F q 1 T T F F T T F F r 1 T F T F T F T F (p 1 T T T T F F F F  2 T T F F F F F F q) 1 T T F F T T F F  3 T T F F T F F F (q 1 T T F F T T F F  2 T F F F T F F F r) 1 T F T F T F T F  4 T T T F T F F F (r 1 T F T F T F T F  2 T F T F F F F F p) 1 T T T T F F F F 3T 2T 2T 1T 2T 1T 1T 0T Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika 3) L2Mayoritas; Ditulis L2(p,q,r) , disini operand adalah argumen dp fungsi. Dima na fungsi bernilai T jika dan hanya jika 2 (dua) atau lebih dp argu mennya bernilai T. L2 diartikan dengan “Paling sedikit dua”. Tabel kebenarannya adalah : L2(p,q,r) =T (p  q)  (q  r)  (r  p)

  19. 4 T T T T T T T F p 1 T T T T F F F F q 1 T T F F T T F F r 1 T F T F T F T F p 1 T T T T F F F F  2 T T T T T T F F q 1 T T F F T T F F  3 T T T T T T T F r 1 T F T F T F T F 3T 2T 2T 1T 2T 1T 1T 0T Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika 4) L1 Paling sedikit satu ; Ditulis L1(p,q,r) , disini operand adalah argumen dp fungsi. Dima na fungsi bernilai T jika dan hanya jika 1 (satu) atau lebih dp argum ennya bernilai T. L1 diartikan dengan “Paling sedikit satu”. Tabel ke benarannya adalah : L1(p,q,r) =T (p  q  r)

  20. 4 T F F F F F F F p 1 T T T T F F F F q 1 T T F F T T F F r 1 T F T F T F T F p 1 T T T T F F F F  2 T T F F F F F F q 1 T T F F T T F F  3 T F F F F F F F r 1 T F T F T F T F 3T 2T 2T 1T 2T 1T 1T 0T Logika Proposisional [Penggandeng Logis lainnya] Operator Triadika 4) L3 Paling sedikit tiga ; Ditulis L3(p,q,r) , disini operand adalah argumen dp fungsi. Dima na fungsi bernilai T jika dan hanya jika 3 (tiga) argumennya bernilai T. L3 diartikan dng “Paling sedikit tiga”. Tabel kebenarannya adl : L3(p,q,r) =T (p  q  r)

  21. f(p1,p2,...,pn) =T , p1 , [f1(p2 ,...,pn) f2(p2,...,pn)] Logika Proposisional [Penggandeng Logis lainnya] Fungsi Kebenaran Teorema : Sebarang fungsi kebenaran f(p1 ,p2 , . . . pn) dari n variabel proposisi onal p1 , p2 . . . pn selalu dapat diekspresikan dalam bentuk fungsi ke benaran diadika dan monadika. Pembuktiannya dengan menggunakan induksi. Contoh dalam disjungsi terkondisi adalah :

More Related