Tugas, Latihan Soal Logika Informatika

Petunjuk pengerjaan :
1. Kerjakan soal-soal latihan berikut pada kertas folio bergaris,
2. Kerjakan dengan tulisan tangan (tidak diketik / dicetak 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 dan bergerak cepat, maka kucing atau anjing itu tidak mampu
menangkapnya.
2. Jika Saya tidak keliru, Dewi sudah diwisuda dan temannya atau orang 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. (AB) (CD)
2. (A (BvC) v (BA)) (DC))
3. (A v (B(CA))) (BvD)

Soal 3 :
Tentukan apakah dari ekspresi-ekspresi logika berikut ini termasuk tautology, kontradiksi, atau
contingent :
1. A(BA)
2. (A(BC))((AB)(AC))
3. ((AB)((AB)v(AB))

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. AB (AvB) (BvA)
2. A(AB) 1
3. (AvB)C (AB)vC

Soal 6 :
Sederhanakan bentuk-bentuk logika berikut ini menjadi bentuk paling sederhana :
1. (AB)((AB)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. (AB) v (BC) B(AvC)
2. ((AB)vA) 1
3. (Av(CvD)) (AC) v (AD)

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.