PRA UJIAN AKHIR SEMESTER (UAS)

LOGIKA INFORMATIKA

Soal :
1. Tentukan konvers, invers, kontraposisi kalimat dibawah ini (score 20 poin)
a) Jika hari ini hujan maka Doni datang ke rumah Susi
b) Jika matahari terbit disebelah barat, maka Budi lulus ujian
c) Jika orang masih hidup maka dia masih bernafas
d) Jika Pak Wiji seorang haji, maka ia seorang muslim

2. Berikan contoh 2 pernyataan dengan (score 15 poin)

a) Inferensi penambahan disjungtif
b) Inferensi penyederhanaan konjungtif

3. Gunakan prinsip inferensi untuk menurunkan ¬Q dari hipotesa-hipotesa : (score 15 poin)

If (r or q) then p
Not a
If p then a

4. Buktikan kevalidan argumen dibawah ini dengan menggunakan prinsip-prinsip inferensi logika (score 10 poin)
a) Orang Indonesia adalah orang Belanda
Orang Belanda adalah manusia
Maka kesimpulan :
Orang Indonesia adalah manusia

b) Jika ia belajar dengan baik maka ia akan pandai

Jika ia pandai maka ia akan lulus dalam ujian
Maka kesimpulan :
Jika ia belajar dengan baik maka ia akan lulus dalam ujian

5. Buktikan kevalidan argumen dibawah ini dengan menggunakan prinsip-prinsip inferensi logika (score 15 poin)
Jika ia sukses maka ia pasti cakap dan beruntung
Karena ia tidak acakap, maka ia tidak mungkin sukses
Misal : A singkatan dari “Ia adalah sukses”
B singkatan dari “Ia adalag cakap”
C singkatan dari “Ia adalah beruntung”

6. Perhatikan hipotesa-hipotesa dibawa ini: (score 25 poin)

i. Jika saya rajin kuliah atau saya cerdas maka saya akan lulus mata kuliah Kalkulus
ii. Saya tidak diizikan mengambil mata kuliah pemrograman
iii. Jika saya lulus mata kuliah kalkulus maka saya akan diizinkan mengambil mata kuliah pemrograman
iv. Saya tidak cerdas
Misalkan :
P : Saya rajin kuliah
Q : Sayab cerdas
R : Saya lulus ujian Kalkulus
S : Saya diizinkan mengambil mata kuliah pemrograman

*** Selamat Mengerjakan ***