logika informatika

PENGUMUMAN
PETUNJUK TEKNIS PELAKSANAAN REMIDI
MATA KULIAH : LOGIKA INFORMATIKA
1. Tidak ada refreshing perkuliahan, mahasiswa diwajibkan mempelajari secara mandiri
materi perkuliahan, dimana materi perkuliahan sama dengan materi yang disampaikan
pada saat perkuliahan reguler.
2. Penilaian remidi dilakukan melalui tugas mandiri (sebanyak 3 kali tugas). Tugas dapat
di download di SiAdin dengan nama file Remidi_Logika_Informatika.pdf.
3. Nilai akhir remidi (NAR) diambil dari Nilai Tugas 1 (NT1), Nilai Tugas 2 (NT2), dan
Nilai Tugas 3 (NT3), dimana nilai akhir dihitung dengan pembobotan sebagai berikut:
NAR = 0.30*NT1+0.30*NT2+0.40*NT3
4. Batas waktu pengumpulan seluruh tugas : 14 Agustus 2015.
5. Tugas di ketik dengan jelas dan rapi (lihat ketentuan nama dan tipe file) dan dikirim
melalui email ke [email protected].
Nama dan Tipe File
Tugas 1
Tugas 2
Tugas 3
Keterangan
LI_TUGAS1_xxxx.pdf; xxxx 4 digit NIM
LI_TUGAS2_xxxx.pdf; xxxx 4 digit NIM
LI_TUGAS3_xxxx.pdf; xxxx 4 digit NIM
6. Tidak ada toleransi apapun atas keterlambatan pengiriman tugas.
7. Buat tugas sebaik mungkin atas dasar ide dan pemikiran Anda sendiri. Tidak ada
toleransi apapun atas tindakan copy paste antar peserta remidi.
8. Bagi yang sudah mengumpulkan tugas, WAJIB tanda tangan di lembar absensi
sebanyak 3x (tiga kali). Absensi dan tanda tangan di meja Ruang Dosen Gd. G Lantai 2.
9. Pertanyaan seputar remidi Logika Informatika dapat menghubungi melalui SMS ke
nomor 081 323 474 297 atau email [email protected].
SOAL TUGAS 1 (30%)
REMIDI : LOGIKA INFORMATIKA
SOAL 1
Jika suku bunga naik maka harga saham akan turun. Jika harga saham turun maka banyak investor
kecewa. Ternyata suku bungan naik, maka banyak investor yang kecewa.
a. Representasikan semua premis dan kesimpulan tersebut dalam logika proposional.
b. Ubah premis-premis tersebut ke dalam bentuk klausa.
c. Terapkan prinsip resolusi untuk membuktikan validitas kesimpulan tersebut.
SOAL 2
Representasikan kalimat0kalimat berikut ke dalam logika relasional (first order logic):
a. Beberapa ahli filosofi sayang pada semua ahli matematika.
b. Semua penonton sepakbola tidak membeli tiket.
c. Beberapa orang asing pernah mendaki gunung Merapi.
SOAL 3
Orang yang sabar pasti hatinya tenang. Tidak ada orang yang hatinya tenang cepat naik darah.
Dewi adalah orang yang sabar, jadi Dewi tidak cepat naik darah.
Buktikan validitas kesimpulan tersebut dengan inferensi.
SOAL 4
Dalam silsilah keluarga, diketahui bahwa Budi dan Wati adalah suami istri. Wati adalah ibu dari
Tino dan Tini. Budi adalah ayah dari Tino. Tino menikah dengan Siti. Sedangkan Tino adalah
ayah dari Ade.
a. Tuliskan fakta tersbeut dalam bentuk logika relasional.
b. Definisikan relasi “cucu” dalam bentuk logika relasional.
c. Buktikan bahwa Ade adalah cucu dari Budi.
SOAL TUGAS 2 (30%)
REMIDI : LOGIKA INFORMATIKA
SOAL 1
Buktikan kebenaran ekwivalensi dari ekspresi logika berikut ini menggunakan Tabel Kebenaran:
a. ¬A ↔ B ≡ (¬A ∨ B) ∧ (¬B ∨ A)
b. (A ∨ ¬B) → C ≡ (¬A ∧ B) ∨ C
SOAL 2
Nyatakan kalimat natural berikut dalam bentuk ekspresi logika simbolik:
a. Setiap astronot akan mengunjungi paling tidak satu planet.
b. Beberapa astronot akan mengunjungi setiap planet.
c. Ada astronot yang tidak pernah mengunjungi planet.
SOAL 3
Tentukan bentuk klausa dari pernyataan berikut:
a. (p  (q  r)  ⌐s
b. ⌐(p q)  ⌐ r
SOAL 4
Seekor kuda yang terdaftar untuk lomba hari ini bukan keturunan kuda Sumbawa. Setiap kuda
yang terdaftar untuk lomba hari ini telah memenangkan perlombaan tahun ini. Oleh karena itu,
kuda yang telah memenangkan perlombaan tahun ini bukan keturunan kuda Sumbawa.
Buktikan kesimpulan tersebut apakah valid atau tidak.
SOAL TUGAS 3 (40%)
REMIDI : LOGIKA INFORMATIKA
SOAL 1
Untuk setiap pernyataan dibawah ini:
 Ubahlah menjadi sebuah logika predikat (first order logic)
 Negasikan hasilnya
 Ubahlah kembali ke bahasa sehari-hari
1. Sepupu adalah anak dari saudara orang tua.
2. Jika kehadiran kuliah mahasiswa kurang dari 75% maka mahasiswa tidak boleh mengikuti
ujian.
SOAL 2
Allen, Bruce dan Caren adalah anggota klub Logic. Setiap anggota klub Logic adalah salah
seorang pemain ski atau seorang pendaki gunung atau keduanya. Tidak ada pendaki gunung yang
menyukai hujan, dan semua pemain ski menyukai salju. Caren tidak suka apapun yang disukai
Allen dan suka apapun yang tidak disukai Allen. Allen suka hujan dan salju.
Kesimpulan: Caren bukan seorang pemain ski
Buktikan kesimpulan tersebut menggunakan:
4. Inferensi first order logic
5. Pohon resolusi first order logic