LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom Pertemuan 7

Polinomial Boole

Ingat Polinomial??????

Polinomial dengan satu variabel : f(x) = x – x2

Polinomial dengan dua variabel x dan y : f(x,y) = x3 + xy2 – y3 + x

Operator yang digunakan pada Polinomial : Operator Penjumlahan (+) Operator Pengurangan (-) Operator Perkalian (x)

“Bagaimana dengan Polinomial Boole????”

Operasi yang digunakan pada Polinomial Boole : Operator Disjungsi Operator Konjungsi Operator Negasi Operator Implikasi (Kondisional) Operator Biimplikasi (Bikondisional)

Variabel yang digunakan pada Polinomial Boole : p, q, r, s, dsb

Contoh:

Misal setiap variabel p, q,. dalam sebuah polinomial Boole f(p,q, Misal setiap variabel p, q, ... dalam sebuah polinomial Boole f(p,q,...) berturut-turut digantikan oleh pernyataan spesifik yang dinyatakan oleh p0, q0, ...

Maka pernyataan f(p0, q0, ...) adalah sebuah pernyataan juga dan mempunyai sebuah nilai kebenaran

Contoh : Misal : p0 dan q0 menggantikan p dan q Maka :

Perhatikan : Jika dan benar Maka juga benar

Proposisi & Tabel Kebenaran

Proposisi P(p, q,. ), Q(p, q,. ),. atau dinyatakan oleh P, Q, Proposisi P(p, q, ...), Q(p, q, ...), ... atau dinyatakan oleh P, Q, ... saja adalah sebuah polinomial Boole dengan variabel p, q, ...

Nilai kebenaran sebuah proposisi P(p, q, Nilai kebenaran sebuah proposisi P(p, q, ...) diperoleh berdasarkan nilai kebenaran dari setiap variabel p, q, ... yang kemudian dikombinasikan untuk memperoleh nilai kebenaran proposisi P(p, q, ...)

Sebuah cara sederhana untuk memperlihatkan hubungan antara nilai kebenaran sebuah proposisi P(p, q, ...) dan nilai kebenaran variabelnya p, q, ... adalah melalui sebuah tabel kebenaran (truth table)

Contoh : Tabel kebenaran dari proposisi

T F

T F

LATIHAN Buatlah tabel kebenaran dari ekspresi logika berikut ini :

Tautologi, Kontradiksi, Kontingensi

Proposisi yang dibuktikan validitasnya dengan tabel kebenaran harus menunjukkan nilai benar

Jika pada tabel kebenaran untuk semua pasangan nilai variabel-variabel proposisi yang ada bernilai benar atau T, maka disebut Tautologi

CONTOH Buktikan apakah adalah tautologi F T

LATIHAN Buktikan adalah tautologi!

Argumen adalah kumpulan pernyataan yang disebut premis-premis dan diikuti oleh kesimpulan yang selaras dengan premis-premisnya

Jika tautologi dipakai pada suatu argumen, berarti argumen harus mempunyai nilai T pada seluruh pasangan pada tabel kebenarannya untuk membuktikan argumen tersebut valid

LATIHAN Program komputer ini mempunyai bug atau masukannya salah. Masukannya tidak salah. Dengan demikian, program komputer ini mempunyai bug. Buktikan argumen tersebut adalah argumen yang valid berdasarkan tautologi!

LATIHAN Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika Siska tidur, maka Tini pergi kuliah. Dengan demikian, jika Tono pergi kuliah atau Siska tidur, maka Tini pergi kuliah. Buktikan argumen tersebut adalah argumen yang valid berdasarkan tautologi!

Kebalikan dari tautologi adalah Kontradiksi, yakni jika pada semua pasangan nilai dari tabel kebenaran menghasilkan nilai F

CONTOH Buktikan apakah adalah kontradiksi F T

LATIHAN Buktikan adalah kontradiksi!

Jika pada semua pasangan nilai dari tabel kebenaran mempunyai nilai T dan F, maka disebut Kontingensi

CONTOH Buktikan apakah adalah kontingensi T F

LATIHAN Buktikan adalah kontingensi!