REMIDI UTS NOPEMBER 2017
1. Ubahlah pernyataan-pernyataan berikut menjadi ekspresi logika berupa proposisi
majemuk:
a. Jika Pak Ali adalah seorang haji maka pastilah dia seorang muslim.
b. Dua garis saling berpotongan adalah tegak lurus jika dan hanya jika dan hanya
jika dua garis saling membentuk sudut 90 derajat.
c. Jika orang masih hidup maka dia masih bernafas, dan jika dia sudah tidak
bernafas, pasti orang tersebut sudah meninggal.
2. Buatlah tabel kebenaran dengan semua kemungkinan nilai kebenaran dari
ekspresi-ekspresi logika berikut ini:
a. A ((C B) ↔ ¬C)
b. ¬((A B) → ¬C) A
3. Tentukan apakah ekspresi-ekspresi berikut ini termasuk tautologi, kontradiksi atau
contingent? Jelaskan!
a. (B (A →B)) → A
b. ((A C) B) ¬((A C) B)
4. Sederhanakan bentuk-bentuk logika berikut menjadi bentuk paling sederhana:
a. ¬(¬A (B ¬B))