Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

VISKA ARMALINA, ST.,M.ENG LOGIKA - 2. TABEL KEBENARAN.

Presentasi serupa


Presentasi berjudul: "VISKA ARMALINA, ST.,M.ENG LOGIKA - 2. TABEL KEBENARAN."— Transcript presentasi:

1 VISKA ARMALINA, ST.,M.ENG LOGIKA - 2

2 TABEL KEBENARAN

3 Tabel Kebenaran Nilai kebenaran dari proposisi majemuk ditentukan oleh nilai kebenaran dari proposisi atomik dan cara mereka dihubungkan oleh operator logika.  cara praktis untuk menentukan nilai kebenaran proposisi majemuk adalah dengan menggunakan “Tabel Kebenaran” (truth table). Tabel kebenaran menampilka hubungan antara nilai kebenaran dari proposisi atomik.

4 a. Konjungsi p ^ q bernilai benar jika p dan q keduanya benar, selain itu nilainya salah. b. Disjungsi p v q bernilai salah jika p dan q keduanya salah, selain itu nilainya benar. c. Negasi p, yaitu ~p, bernilai benar jika p salah, juga sebaliknya akan bernilai salah jika p benar. Deskripsi Tabel Kebenaran

5 Tabel Kebenaran Tabel Kebenaran Konjungsi Tabel Kebenaran Disjungsi Tabel Kebenaran Negasi atau Ingkaran

6 Contoh Penggunaan Tabel Kebenaran (1) 1. Misalkan : p : 17 adalah bilangan prima q : bilangan prima selalu ganjil Pertanyaan : bagaimana konjungsi dari p dan q tersebut? p  benar q  salah p^q : 17 adalah bilangan prima dan bilangan prima selalu ganjil  salah (lihat tabel kebenaran konjungsi).

7 Contoh Penggunaan Tabel Kebenaran (2) 2. Jika p, q, r adalah proposisi, bentuklah tabel kebenaran dari ekspresi logika berikut : (p^q) v (~ q ^ r) penyelesaian: Ada 3 buah proposisi atomik di dalam ekspresi logika dan setiap proposisi hanya mempunyai 2 kemungkinan hasil, sehingga jumlah kombinasi dari semua proposisi tersebut adalah 2 x 2 x 2 = 8 buah.

8 Contoh Penggunaan Tabel Kebenaran (3) Tabel kebenaran dari proposisi (p^q) v (~q^r) pqrp^q~q~q^r(p^q) v (~q^r) TTTTFFT TTFTFFT TFTFTTT TFFFTFF FTTFFFF FTFFFFF FFTFTTT FFFFTFF

9 Tautologi dan Kontradiksi Proposisi majemuk dapat selalu bernilai benar untuk berbagai kemungkinan nilai kebenaran masing-masing proposisi atomiknya, atau selalu bernilai salah untuk berbagai kemungkinan nilai kebenaran masing-masing proposisi atomiknya. Sebuah proposisi majemuk disebut “Tautologi” jika ia benar untuk semua kasus. Sebuah proposisi majemuk disebut “Kontradiksi” jika ia salah untuk semua kasus.

10 Contoh Tautologi Misalkan p dan q adalah proposisi. Proposisi majemuk p v ~ (p ^ q) adalah sebuah tautologi (lihat tabel di bawah ini), karena kolom terakhir pada tabel kebenarannya HANYA memuat nilai T. pqp ^ q~ (p ^ q)p v ~ (p ^ q) TTTFT TFFTT FTFTT FFFTT

11 Contoh Kontradiksi Misalkan p dan q adalah proposisi. Proposisi majemuk (p ^ q) ^ ~ (p v q) adalah sebuah kontradiksi. Karena kolom terakhir pada tabel kebenarannya HANYA memuat nilai F. pqp ^ qp v q~ (p v q)(p ^q) ^ ~ (p v q) TTTTFF TFFTFF FTFTFF FFFFTF

12 Ekivalen (Hukum De Morgan) Adakalanya dua buah proposisi majemuk dapat dikombinasikan dalam berbagai cara, namum semua kombinasi tersebut selalu menghasilkan tabel kebenaran yang sama.  kedua proposisi majemuk tersebut Ekivalen secara logika. Dua buah proposisi majemuk, P(p, q,…) dan Q(p, q,…) disebut “Ekivalen” secara logika, dilambangkan dengan P(p, q,…) Q(p, q,…) jika keduanya mempunyai tabel kebenaran yang identik.

13 Contoh Ekivalen Antara proposisi ~(p ^ q) dan proposisi ~p v ~q dikatakan ekivalen secara logika karena kolom terakhir kedua tabel tersebut sama nilainya (yaitu F, T, T, T) sehingga dapat dituliskan : ~(p ^ q) ~p v ~q


Download ppt "VISKA ARMALINA, ST.,M.ENG LOGIKA - 2. TABEL KEBENARAN."

Presentasi serupa


Iklan oleh Google