Tugas, Latihan Soal Logika Informatika
Petunjuk pengerjaan :
1. Kerjakan soal-soal soal-soal latihan latihan berikut berikut pada pada kertas folio bergaris, bergaris, 2. Kerjakan dengan dengan tulisan tulisan tangan (tidak diketik / dicetak dengan dengan komputer), 3. Kumpulkan minggu depan, pada saat kuliah Logika Informatika Kelas B, C, dan D (Senin, 4 Mei 2015), Kelas A, E, dan F (Jumat, 8 Mei 2015)
*** Selamat Mengerjakan ***
Soal 1 :
Ubahlah pernyataan-pernyataan berikut menjadi ekspresi logika berupa proposisi majemuk : 1. Jika tikus itu waspada waspada dan bergerak cepat, cepat, maka kucing atau atau anjing itu tidak mampu menangkapnya. 2. Jika Saya tidak keliru, Dewi sudah sudah diwisuda dan temannya atau orang tuanya tuanya berada di sampingnya. 3. Bowo membeli saham dan membeli property untuk investasinya, atau dia dapat menanamkan uang di deposito bank dan menerima bunga uang.
Soal 2 :
Jika nilai A dan B adalah F, sedangkan C dan D adalah T, carilah nilai kebenaran dari ekspresiekspresi logika berikut : 1. ¬(A↔B) ʌ (¬C→D) 2. (¬A ʌ (Bv¬C) v (B ↔¬A)) → (DʌC)) 3. (A v (B→(Cʌ¬A))) ↔ ¬(Bv¬D)
Soal 3 :
Tentukan apakah dari ekspresi-ekspresi logika berikut ini termasuk tautology, kontradiksi, atau contingent : 1. A→(B→A) 2. (A→(B→C))→((A→B)→(A→C)) 3. ((A↔B)↔((AʌB)v(¬Aʌ¬B))
Soal 4 :
Perhatikan dengan seksama argument (disebut : destructive dilemma) berikut ini : “
Jika Badu senang, maka Siti senang, dan jika Badu sedih, maka Siti sedih. Siti tidak senang atau
Siti tidak sedih. Dengan demikian, Badu tidak senang atau Badu tidak sedih . ”
Buatlah ekspresi logikanya dan buktikan apakah termasuk tautology, kontradiksi, atau contingent dengan tabel kebenaran !
Soal 5 :
Buktikan bahwa ekspresi-ekspresi logika berikut ini ekuivalen dengan menggunakan tabel kebenaran : 1. ¬A↔B ≡ (¬AvB) ʌ (¬BvA) 2. A→(¬A→B) ≡ 1 3. (Av¬B)→C ≡ (¬AʌB)vC
Soal 6 :
Sederhanakan bentuk-bentuk logika berikut ini menjadi bentuk paling sederhana : 1. (¬A→B)→((¬A→¬B)→A) 2. (Aʌ(¬AvB)) v B v (A ʌ(AvB)) 3. (A ʌ ¬B ʌ A ʌ ¬C) v (C ʌ A ʌ ¬C)
Soal 7 :
Buktikan dua ekspresi logika berikut ekuivalen dengan penyederhanaan : 1. (AʌB) v (B ʌC) ≡ Bʌ(AvC) 2. ¬(¬(AʌB)vA) ≡ 1 3. ¬(¬Av¬(CvD)) ≡ (AʌC) v (AʌD)
Soal 8 :
Buktikan argument berikut valid atau tautology dengan penyederhanaan. Jika tidak tautology, pasti hasilnya kontradiksi atau contingent : “Jika M bilangan negatif, maka Q bilangan negatif. Jika P bilangan positif, maka Q bilangan negatif.
Dengan demikian , jika M bilangan negatif atau P bilangan positif, maka Q bilangan negatif. ”
Soal 9 :
Nyatakan kalimat berikut ke dalam symbol-simbol : 1. Semua paus adalah hewan menyusui. 2. Hanya direktur yang mempunyai sekretaris pribadi. 3. Tidak ada guru yang senang menari, tetapi semua guru senang berolah raga.
Soal 10 :
Tentukan negasi dari pernyataan berikut : 1. Ada beberapa bilangan prima yang genap. 2. Semua mahasiswa rajin belajar. 3. Tidak ada guru yang senang bernyanyi.
