LOGIKA INFORMATIKA

       Dalam tugas kali ini, saya akan membahas materi LOGIKA INFORMATIKA tentang kaliamat yang bisa dibuktikan kedalam tabel kebenaran.
langung saja ke materinya....

1. TAUTOLOGI

Tautologi adalah proporsi majemuk yang selalu bernilai benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.

Contoh:

“Jika Toni pergi kuliah, maka Dini juga pergi kuliah. Jika Siska tidur, maka Dini pergi kuliah. Dengan demkian, jika Toni pergi kuliah atau Siska tidur, maka Dini pergi kuliah.”

Diubah ke variabel proposional:

A   Toni pergi kuliah

B   Dini pergi kuliah

C   Siska tidur

Setelah diubah ke bentuk variabel maka diubah ubah lagi menjadi ekspresi logika yang terdiri dari premis-premis, sedangkan ekspresi logika 3 adalah kesimpulan.

1). A  B              (premis)

2). C  B               (premis)

3). (A ˅ C)  B      (kesimpulan)

Maka sekarang dapat ditulis: ((A → B) ʌ (C → B)) → ((A V C) → B

kalimat Kontradiksi

    adalah suatu pernyataan majemuk yang bernilai salah untuk semua kemungkinan dari premis-premisnya. Jadi, kontradiksi berlawanan dengan tautologi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.

kalimat : jika diluar hujan deras, maka saya tidak keluar rumah