Logika Informatika

Latihan

1. Hari ini tidak panas dan lebih dingin dari hari kemarin. Kita akan pergi
berenang hanya jika hari panas. Jika kita tidak pergi berenang, maka
kita akan ikut jalan-jalan dengan perahu. Jika kita ikut jalan-jalan
dengan perahu, maka kita akan pulang pada saat matahari terbenam.
Jadi, kita akan pulang saat matahari terbenam.
• Buktikan bahwa argument di atas valid

Jawab:

Misal : p : Hari ini panas, q : hari ini lebih dingin dari hari kemarin
r : Kita akan pergi berenang, s : Kita ikut jalan-jalan dengan perahu
t : Kita akan pulang saat matahari terbenam

Maka :
~p ∧ q : Hari ini tidak panas dan lebih dingin dari hari kemarin
r → p : Kita akan pergi berenang hanya jika hari panas
~r → s : Jika kita tidak pergi berenang, maka kita akan ikut jalan-jalan dengan
perahu
s → t : Jika kita ikut jalan-jalan dengan perahu, maka kita akan pulang pada saat
matahari terbenam
Kesimpulan: t

Pembuktian :

Langkah    Keterangan
1. ~p ∧ q    Premis
2. ~p          Simplifikasi dari (1)
3. r → p     Premis
4. ~r           Modus tollen dari (2) dan (3)
5. ~r → s   Premis
6. s             Modus ponen dari (4) dan (5)
7. s → t      Premis
8. t             Modus ponens dari (6) dan (7)
Jadi, argument tersebut valid (sahih)

Komentar

Posting Komentar

Postingan populer dari blog ini

Contoh Tautologi, Kontradiksi, Contingent, Ekuivalensi Logis dan Tabel Kebenarannya

Gambar
1.Tautologi   adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan   kontradiksi . Hal ini dapat dibuktikan menggunakan   tabel kebenaran   ataupun   sifat-sifat logika . Contoh tautologi adalah: “Jika andi pintar, maka Dini juara kelas. Jika Siska tidur, maka Dini juara kelas. Dengan demkian, jika andi pintar atau Siska tidur, maka Dini juara kelas.” Diubah ke variabel proposional: A   Salsa pintar B   Rafli juara Olimpiade C   Thania 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) p ~ p p  ∨ ~ p B S B B S B S B B S B B p q ~ p ~ q p  →  q ( p  →  q ) ∧ ~ q [( p  →  q ) ∧ ~ q ] → ~ p B B S S B S B B S S B S S B S B B S B S B S S B B B B B 2. Kontradiksi Contoh Kontradiksi (^
Baca selengkapnya

EKIVALENSI LOGIKA INFORMATIKA

Gambar
1. PENGERTIAN        Materi ini membahas penggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhanaan( simplifying ). Berbagai macam ekuivalensi dari berbagai ekspresi logika memberi kemudahan bagi penyederhanaan karena bentuk ekspresi logika yang rumit dan dapat disederhanakan . 2.OPERASI PENYEDERHANAAN           Operasi penyederhanaan akan menggunakan tabel berikut yang berisi berbagai ekuivalensi logis dan hukum-hukum logika proposional.    Soal No 3
Baca selengkapnya

Storyboard & Flowchart Game

Gambar
Storyboard Game Pacman  Yang berikut ini adalah storyboard Pacman : - Object        : Pacman - Atribut         : - - Behavior     : atas,bawah dan kanan, kiri - Class          : Dinding,point, start dan finish        Pac-Man adalah sebuah permainan arkade yang dikembangkan Namco dan diterbitkan Midway ; dirilis di Jepang pada 22 Mei 1980 . Awalnya dirilis di arkade saja, Pac-Man yang masih populer hingga kini telah dirilis pula dalam platform lainnya seperti Game Boy dan SNES . Perancang permainan ini adalah Toru Iwatani , yang merupakan karyawan Namco. Cara bermainnya mudah yaitu pemain pacman diharuskan memakan makanan berbentuk titik-titik kecil dan sebuah bulatan besar (energizer) sampai habis di dalam sebuah labirin yang berliku-liku. Tidak hanya menghabiskan makanan tersebut, pemain juga harus menghindari 4 hantu yang berkeliaran secara random untuk menangkap pemain. Jika pemain bertemu dengan hantu-hantu maka nyawa akan berkurang dan jika nyawa telah habis maka pe
Baca selengkapnya