260 likes | 543 Views
POKOK BAHASAN 1 LOGIKA. SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI. SPB 1.4 KUANTOR. Fungsi pernyataan Kuantor umum / kuantor universal Kuantor khusus / kuantor eksistensial Negasi pernyataan yg mengandung kuantor Fungsi pernyataan dg lebih dari satu variabel.
E N D
POKOK BAHASAN 1LOGIKA SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI Oleh Dra. Hj. Nurul Saila, MMPd
SPB 1.4 KUANTOR • Fungsipernyataan • Kuantorumum/kuantor universal • Kuantorkhusus/kuantoreksistensial • Negasipernyataanygmengandungkuantor • Fungsipernyataan dg lebihdarisatuvariabel
Fungsipernyataan Definisi: Suatufungsipernyataanadalahsuatukalimatterbukadidalamsemestapembicaraannya Fungsipernyataanditulis: p(x) p(a) adalahpernyataanygbernilaibenaratausalahtptdkkeduanya, untuksetiap a anggotasemestapembicaraa. Contoh: • p(x)= 1+x>5 adalahfungsipernyataan pd A=himpbilasli adalahbkn f pernyataan pd K=himpbilkomplek
Kuantorumum • Simbol dibaca: ‘untuksemua’ atau ‘untuksetiap’ disebutkuantorumum. • Jika p(x) fungsipernyataan pd himp A, maka (xA)p(x) atau xA.p(x) atau xA p(x) adalahsuatupernyataan, dibaca: • ‘untuksetiap x elemen A, p(x) mrpkpernyataanygbenar’ atau • ‘untuksemua x berlaku p(x)
Contoh: • Semuamanusiatdkkekal • x (x+3>1) pd A={bilAsli} • x (x+3<1) pd A={bilAsli}
Kuantorkhusus • Simbol dibaca: ‘ada’ atau ‘untukbeberapa’ atau ‘untuk paling sedikitsatu’ disebutkuantorkhusus. • Jika p(x) fungsipernyataan pd himp A, maka (xA)p(x) atau xA.p(x) atau xA p(x) adalahsuatupernyataan, dibaca: • ‘ada x elemen A, sdhg p(x) mrpkpernyataanygbenar’ atau • ‘untukbeberapa x berlaku p(x)
Contoh: • Beberapaperwira TNI adalahwanita • x (x+1>5) pd A={bilAsli} • x (x+3<1) pd A={bilAsli}
Negasipernyataankuantor • Negasipernyataanygmengandungkuantor universal adalahpernyataanygmengandungkuantoreksistensial, dansebaliknya. • -x p(x) x –p(x) • -x p(x) x-p(x)
Contoh: Tentukannegasidaripernyataanberikut: • Semuamanusiatidakkekal • Beberapaperwira TNI adalahwanita • x (x+3<1)
Fungsipernyataan dg lebihdarisatuvariabel • Didefinisikan A1, A2, A3, …, An. Suatufungsipernyataanygmengandungvariabel pd himp. A1x A2 x A3 x… x An, sdhg p(a1, a2, a3, …, an) suatupernyataanuntuk a1, a2, a3, …, ananggota A1x A2 x A3 x… x An.
Contoh: • f(x,y)= x menikah dg y, didefinisikan pd {pria}x{wanita} • f(x,y,z)= 2x-y+5z<10, didefinisikan pd AxAxA, A={bilAsli} • x y (x+y=1) pd A={bilAsli} • x y z (x+y+z >5 pd A ={bilAsli}
SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI A. Tautologi Definisi: Suatupernyataan yang bernilaibenaruntuksetiapnilaikebenarannyadisebuttautologi(T). Contoh: p -p
B. Kontradiksi Definisi: Suatupernyataan yang bernilaisalahuntuksetiapnilaikebenarannyadisebutkontradiksi(F). Contoh: p -p
C. Ekivalensi Definisi: Duapernyataan yang mempunyainilaikebenaranygsamadisebutekivalen /berekivalensilogis (). Contoh: p q -p q
Sifat-sifatpernyataanygekivalen • Komutatif : p q q p p q q p • Assosiatif : p (q r) (p q) r p (q r) (p q) r • Idempoten : p p p p p p • Identitas : p T T, p F p p T p, p F F
Distributif : p (q r) (p q) (p r) p (q r) (p q) (p r) • Komplementer : p-p T, -TF, -(-p)p p-p F, -FT • De Morgan : -(p q) -p -q -(p q) -p -q • Penyerapan/absorbsi : p (p q) p p (p q) p
Latihan • Tunjukkanbahwa: • pq -p q • pq (pq) (qp) • Sederhanakanpernyataan-pernyataanberikut: • -(p-q) • -(-pq) • Buktikanbahwa –(p-p) adalahsuatutautologi • Buktikanbahwa (p q)-(pq) suatukontradiksi
Jawab • Tunjukkanbahwa: • pq -p q
Sederhanakanpernyataan-pernyataanberikut: • -(p-q) • -(-pq) Jawab: 1. -(p-q) -p q (De Morgan) 2. -(-pq) -(-(-p)q) (ekivalen) -(pq) (komplemen) -p -q) (De Morgan)
Buktikanbahwa –(p-p) adalahsuatutautologi. Bukti: –(p-p) -(F) T Terbukti
Buktikanbahwa (p q)-(pq) suatukontradiksi Bukti: (p q)-(pq) (p q)(-p-q) (De Morgan) (p q)(-q-p) (komutatif) p (F -p) (assosiatif) p (-p F) (komutatif) F F (assosiatif) F (idempoten) Terbukti
Tugas • Sederhanakanpernyataanberikut: a) -(-pq) b) -(-pq) • Manakahdiantarapernyataanberikuttautologi: a) p(pq) b) p(pq) c) (pq)p d) (pq)p e) q(pq) • Buktikanpernyataanberikut: • p q -(p-q) • p(qr)(pq)(pr)
TUGAS KELOMPOK Membuat resume/rangkumanmaterispb 1.6 dan 1.7 darireferensi 1. dikumpulkan pd pertemuan 4.