BAB 3 TABEL KEBENARAN
1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas materi tentang kebenaran dan ketidakbenaran. Logika hanya berhubungan dengan bentuk-bentuk (form) logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut, ataupun isi dari pernyataan. Contoh 1:
Manusia mempunyai 2 mata
Badu seorang manusia
Dengan demikian, Badu mempunyai 2 mata
Contoh 2:
Binatang mempunyai 2 mata
Manusia mempunyai 2 mata
Dengan demikian, binatang sama dengan manusia
Argumen pada contoh 1 masih masuk akal, tetapi kesimpulan dari argumen contoh 2 adalah tidak mungkin. Logika hanya menekankan bahwa premis-premis yang benar harus menghasilkan kesimpulan yang benar (valid) tetapi bukan kebenaran secara aktual atau kebenaran sehari-hari.
2. Tabel kebenaran Pernyataan majemuk terdiri dari satu atau lebih pernyataan sederhana yang dihubungkan dengan kata hubung kalimat (connective) tertentu. Dalam bahasa Indonesia kita sering menggunakan kata-kata “tidak” (not), “dan” (and), “atau” (or), “jika. . . maka. . .” (if … then), “jika dan hanya jika” (…if and only if…). Marilah sekarang kita memperhatikan penggunaan kata-kata itu dengan lebih cermat dalam matematika (dan membandingkannya dengan penggunaan dalam percakapan sehari-hari). Kita pelajari sifat-sifatnya untuk memperjelas cara berpikir kita dan terutama karena pentingnya kata-kata itu untuk
LOGIKA INFORMATIKA
BY: SRI ESTI
melakukan pembuktian. Dalam pelajaran logika (matematika), kata-kata itu disebut kata hubung kalimat, ada lima macam kata hubung kalimat yaitu negasi, konjungsi, disjungsi, kondisional, dan bikondisional. Negasi tidak menghubungkan dua buah pernyataan sederhana, tetapi tetap dianggap sebagai kata hubung kalimat, yaitu menegasikan pernyataan sederhana (ada yang menganggap bahwa negasi suatu pernyataan sederhana bukan pernyataan majemuk). Masalahnya adalah bagaimana mendefinisikan penghubung secara logika antara dua pernyataan yang dapat kita gunakan untuk membentuk pernyataan majemuk. Misalkan p serta q berturut-turut pernyataan sederhana berbunyi “musim hujan” dan “rumput hijau”, kita ingin mempunyai simbol untuk menyatakan kalimat seperti “p tidak benar”, atau “jika p maka q”, “p dan q” dan sebagainya. Dalam hal ini kita menginginkan pula untuk dapat memberikan nilai kebenaran bagi kombinasi p dan q tersebut. Tentunya pemberian nilai kebenaran tersebut adalah dengan cara yang konsisten sesuai dengan penggunaan yang biasa dilakukan.
Contoh:
Jika hari hujan, maka Badu basah kuyub. Pernyataan “Jika hari hujan” pada kalimat di atas jika benar, maka pernyataan “maka Badu basah kuyub” masih dipertanyakan kebenarannya. Basah kuyubnya Badu masih bisa diperdebatkan karena mungkin Badu memiliki payung, atau Badu berteduh, atau Badu disiram air oleh temannya dan berbagai kemungkinan lainnya. Logika tidak berhubungan dengan kemungkinan-kemungkinan, logika hanya mengambil nilai kebenarannya.
Badu menangkap bola dan menendangnya.
Badu menendang bola dan menangkapnya. Pernyataan pertama masuk akal secara alamiah atau secara hard logic memang harus demikian kejadiannya, tetapi pada pernyataan kedua, terasa tidak masuk akal karena tidak mungkin ada kejadian menendang bola kemudian menangkapnya. Tetapi sekali lagi logika tidak mempermasalahkan pengertian sesuai bahasa sehari-hari, karena logika lebih mementingkan bentuk dari pernyataan-pernyataan.
LOGIKA INFORMATIKA
BY: SRI ESTI
Tabel kebenaran adalah suatu tabel yang menunjukkan secara sistematis satu demi satu nilai –nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana.
3. Operator Setiap operator atau perangkai pada logika memiliki kebenarannya masing-masing sesuai jenis perangkai logika yang digunakan. Untuk mengetahui nilai kebenarannya, digunakan aturan dengan memakai tabel kebenaran. Perangkai-perangkai yang digunakan adalah: Tabel 3.1 Perangkai dan Simbolnya Simbol
Arti
Bentuk
¬
Tidak / Not / Negasi
Tidak …
˄
Dan / And / Konjungsi
… dan …
˅
Atau / Or / Disjungsi
… atau …
→
Implikasi/if…then…
Jika … maka …
↔
Bi-Implikasi/…if only if…
… bila dan hanya bila …
Perangkai logika atau operator dalam bentuk simbol dipergunakan untuk membuat bentukbentuk logika atau ekspresi logika. Disini hanya digunakan konstanta proposisional T untuk True dan F untuk False, bukan B dan atau S. 3.1. Konjungsi [˄] Konjungsi adalah kata lain dari perangkai “dan (and)”, dan konjungsi mempunyai Tabel Kebenaran seperti berikut: Tabel 3.2 Aturan And
LOGIKA INFORMATIKA
A
B
A˄B
T
T
T
T
F
F
F
T
F
F
F
F
BY: SRI ESTI
Pada tabel kebenaran dari konjungsi, hanya ada satu nilai T jika pasangan tersebut keduanya bernilai T, lainnya pasti F. Perangkai atau operator ˄ disebut perangkai binary karena ia merangkai dua variabel proposisional.
Latihan soal: Carilah nilai fungsi kebenaran dari perangkai ˄ untuk nilai konjungsi berikut: A
B
C
T
T
T
T
T
F
T
F
T
T
F
F
F
T
T
F
T
F
F
F
T
F
F
F
A˄B
(A˄B)˄C
B˄C
A˄(B˄C)
3.2. Disjungsi [˅] Tanda ˅ digunakan sama dengan perangkai “atau (or)”. Disjungsi juga berfungsi sebagai perangkai binary. Tabel 3.3 Aturan Or A
B
A˅B
T
T
F
T
F
T
F
T
T
F
F
T
Dari tabel kebenaran di atas, nilai A˅ B bernilai F jika nilai A dan B keduanya F, lainnya pasti T.
LOGIKA INFORMATIKA
BY: SRI ESTI
Contoh: Badu pandai atau Badu bodoh. Bentuk tersebut diubah menjadi variabel proposisional sehingga akan menjadi: A = Badu pandai B = Badu bodoh Bentuk logikanya adalah A˅ B, tidak boleh ditafsirkan dan diganti menjadi variabel proposisional seperti berikut: A = Badu pandai ¬A = Badu bodoh Atau disamakan menjadi A˅¬A. Hal ini tentu saja tidak benar karena hal ini tidak boleh dilakukan dalam logika proposisional.
Latihan soal: Carilah nilai fungsi kebenaran dari perangkai ˄ untuk nilai disjungsi berikut: A
B
C
T
T
T
T
T
F
T
F
T
T
F
F
F
T
T
F
T
F
F
F
T
F
F
F
A˅B
(A˅B)˅C
B˅C
A˅(B˅C)
3.3. Negasi [¬] Negasi digunakan untuk menggantikan perangkai “tidak (not)”. Tabel 3.4 Aturan Not
LOGIKA INFORMATIKA
A
¬A
¬ ¬A
T
F
T
F
T
F
BY: SRI ESTI
Negasi berarti hanya kebalikan dari nilai variabel proposisional yang dinegasinya. Jika F akan menjadi T dan sebaliknya, atau negasi F adalah T. Perangkai ¬ disebut perangkai unary karena hanya dapat merangkai satu variabel proposisional. Perangkai ˄, ˅, dan ¬ disebut perangkai alamiah atau perangkai dasar karena semua perangkai dapat dijelaskan hanya dengan tiga perangkai tersebut.
3.4. Implikasi [→] Implikasi menggantikan perangkai “jika…maka…(if…then…)”. Implikasi yang memakai tanda → disebut implikasi material. Tabel 3.5 Aturan Implikasi A
B
A→B
T
T
T
T
F
F
F
T
T
F
F
T
Hanya ada satu nilai F dari A→B, jika A bernilai T dan B bernilai F, bukan sebaliknya. Pasangan yang terletak di sisi kiri yakni A, disebut antecedent (hipotesis/premis), sedangkan di sisi kanan yakni B, disebut consequent (kesimpulan). Oleh karena itu, implikasi juga disebut conditional atau mengkondisikan satu kemungkinan saja dari sebab dan akibat.
Latihan soal: Carilah nilai fungsi kebenaran dari perangkai → untuk nilai implikasi berikut: A
B
C
T
T
T
T
T
F
T
F
T
T
F
F
LOGIKA INFORMATIKA
A→B
(A→B)→C
B→C
A→(B→C)
BY: SRI ESTI
F
T
T
F
T
F
F
F
T
F
F
F
3.5. Ekuivalensi / Bi-implikasi [↔] Ekuivalensi dengan simbol ↔ menggantikan perangkai “…jika dan hanya jika… (…if and only if…)”. Tabel 3.6 Aturan Bi-Implikasi A
B
A↔B
T
T
T
T
F
F
F
T
F
F
F
T
Jadi, nilai A↔B mempunyai nilai T jika pasangan A dan B bernilai sama, baik T maupun F. Jika pasangannya berbeda, nilainya pasti F. Perangkai ↔ disebut biconditioanal karena ia mengkondisikan atau merangkaikan dua ekspresi logika. Latihan soal: Carilah nilai fungsi kebenaran dari perangkai ↔ untuk nilai bi-implikasi berikut: A
B
C
T
T
T
T
T
F
T
F
T
T
F
F
F
T
T
F
T
F
F
F
T
F
F
F
LOGIKA INFORMATIKA
A↔B
(A↔B)↔C
B↔C
A↔(B↔C)
BY: SRI ESTI
4. Operator khusus 4.1. Perangkai “Tidak dan” [ │] Tabel 3.7 Aturan Tidak dan A
B
A│B
T
T
F
T
F
T
F
T
T
F
F
T
Jika diperhatikan nilai kebenaran dari A│B, maka hasilnya akan terlihat terbalik dari A˄B. Oleh karena itu, disebut”tidak dan (not and)” atau operator nand (kadang-kadang disebut Sheffer stroke, diambil dari nama Henry M. Sheffer. Simbolnya berupa vertical stroke [│]. 4.2. Perangkai “Tidak atau” [ ↓ ] Tabel 3.8 Aturan Tidak atau A
B
A↓B
T
T
F
T
F
F
F
T
F
F
F
T
Jika diperhatikan nilai kebenaran dari A↓B, maka hasilnya akan terlihat terbalik dari A˅B. Oleh karena itu, disebut”tidak dan (not or)” atau operator nor(kadang-kadang disebut Peircer Arrow, diambil dari nama Charles S. Pierce. Simbolnya berupa [ ↓ ].
LOGIKA INFORMATIKA
BY: SRI ESTI
4.3. Perangkai XOR [⊕] Tabel 3.9 Aturan XOR A
B
A⊕B
T
T
F
T
F
T
F
T
T
F
F
F
Jika diperhatikan A ⊕ B tampak terbalik dari A↔B, yakni jika A dan B nilainya sama, maka hasilnya F, tetapi jika A dan B nilainya berbeda, maka hasilnya T.
Latihan soal: 1. Gunakan konstanta proposisional berikut: A = Bowo kaya raya B = Bowo hidup bahagia Selanjutnya, ubah pernyataan-pernyataan berikut ini menjadi bentuk logika: a) Bowo tidak kaya b) Bowo kaya raya dan hidup bahagia c) Bowo kaya raya atau tidak hidup bahagia d) Jika Bowo kaya raya, maka ia hidup bahagia e) Bowo hidup bahagia jika dan hanya jika ia kaya raya
2. Misalkan A, B, dan C adalah variabel proposisional: A = Anda sakit flu B = Anda ujian C = Anda lulus Ubahlah ekspresi berikut menjadi pernyataan dalam bahasa Indonesia: a) A → ¬B b) B → ¬C c) ¬B → C d) (A ˄ B) → C
LOGIKA INFORMATIKA
BY: SRI ESTI
e) (A → ¬C) ˅ (B → ¬C) f) (A ˄ B) ˅ (¬B ˄ C)
3. Berilah konstanta proposisional terserah Anda, dan ubahlah pernyataan-pernyataan berikut menjadi bentuk logika: a) Jika Bowo berada di Malioboro, maka Dewi juga ada di Malioboro b) Pintu rumah Dewi berwarna merah atau coklat. c) Berita itu tidak menyenangkan. d) Bowo akan datang jika ia mempunyai kesempatan. e) Jika Dewi rajin kuliah, maka ia pasti pandai.
4. Jawablah pertanyaan-pertanyaan berikut ini dengan tabel kebenaran a) A ˄ A b) A ˅ A c) (A ˄ ¬A) dan (A ˅ ¬A) d) (A → B) dan (B → A) e) (A → B) → C dan A → (B → C)
5. Buatlah tabel kebenaran dengan semua kemungkinan nilai keenaran dari ekspresiekspresi logika berikut ini: a) ¬(¬A ˄ ¬B) b) A ˄ (A ˅ B) c) ((¬A ˄ (¬B ˄ C)) ˅ (B ˄ C)) ˅ (A ˄ C) d) (A ˄ B) ˅ (((¬A ˄ B) → A) ˄ ¬B) e) (A → B) ↔ (¬B → ¬A)
LOGIKA INFORMATIKA
BY: SRI ESTI
