Soal UAS Logika Matematika TA 2007-2008
Ujian Akhir Semester
Semester Genap
Tahun Akademik 2007/2008
Kode Mata Kuliah: IF-210
Nama Mata Kuliah: Logika Matematika
Program Studi: Teknik Informatika
Hari/Tanggal Ujian: Senin / 12 Mei 2008
Dosen: Ivan Michael Siregar, S.T.
Sifat Ujian: Closed Book
1. Tentukan subterm dan subkalimat dari term berikut:
2.
Tentukan masing-masing variabel bebas, terikat, dan bebas-terikat. Berikan penjelasan terikat oleh for-all x atau for-some y.
3.
Misalkan I adalah interpretasi untuk A dengan domain bilangan real, dengan:
a ⇒ √2
x ⇒ π (Jika tidak jelas, π adalah pi yaitu konstanta dengan nilai 3.14159265)
f ⇒ “pembagian oleh 2″ yaitu fj (d) = d/2
p ⇒ “lebih besar atau sama dengan”, yaitu p1 (d1,d2) = d1 ≥ d2
Tentukan masing-masing variabel bebas, terikat, dan bebas-terikat. Tentukan juga arti kalimat tersebut.
4. Misalkan kalimat dengan aturan semantik:
dan misalkan I adalah interpretasi yang meliputi domain bilangan bulat non negatif, dengan:
a ⇒ 0,
y ⇒ 2,
f adalah fungsi suksesor, yaitu fj (d) = d + 1
p adalah relasi “kurang dari”, yaitu pj (d1,d2) = d1 < d2
Berikan interpretasi I terhadap A, lakukan pemeriksaan terhadap masing-masing disjunct, kemudian tentukan nilai kalimat A dengan menerapkan aturan-aturan (konstanta, variabel, proposisi, aplikasi, not, penghubung lojik, true-false)
5. Buktikan validitas kalimat A berikut.
NB:
- Soal UAS angkatan 2006 & 2007 sama (100%), bahkan tahun akademik, hari/tanggal ujian, dan waktu ujian, gak diganti.
- Soal kemungkinan beda, karena dosennya udah ganti, jadi jangan terlalu berharap dengan soal ini.
- Selamat ujian! Semoga Anda tidak memperdalam tahun depan, dan kalau pun Anda memperdalam tahun depan percayalah bahwa, “… masa depan sungguh ada, dan harapanmu tidak akan hilang”.
I most certainly will highly recommend thiѕ
blog!