KEMENTERIAN AGAMA No. Dok : FST-TU-AKM-FR-B.

02
UNIVERSITAS ISLAM NEGERI Tgl. Terbit : 1 September 2014
SUNAN GUNUNG DJATIBANDUNG FORM (FR) No. Revisi: : 00
FAKULTAS SAINS DAN TEKNOLOGI
Jl. AH Nasution No. 105 Bandung Hal : 1/1
SOAL UJIAN

Jurusan/Prodi : Matematika Hari/Tanggal : Selasa, 19 Mei 2015

Mata Kuliah : Logika Matematika Waktu : 100 Menit
Kode Mata Kuliah : 701431 Jenis Ujian : Ujian tulis (Close Book)
Bobot SKS : 3 SKS Tahun Akademik : 2014/2015
Semester/Kelas : IV/A Dosen 1 : Dani Suandi, M.Si.
Gedung/Ruang : R-301 Dosen 2 :-

Bobot
No. Pertanyaan
Nilai
1. Periksa konsistensi kumpulan ekspresi – ekpresi logika berikut ini dengan menggunakan 15
model strategi pembalikan.
a.  p  q   r , p  s, q  r  s
b. p  s, q  r , r  s, t  s, p  t

2. (1) Jika Rohit lulus ujian, maka Nisa sedih dan Nisa tidak gembira 25
(2) Rohit lulus ujian dan jika Nisa sedih, maka Nisa gembira
(3) Dengan demikian, Rohit lulus ujian.

Buktikan validitas argumen tersebut dengan:

a. Model dengan memberi nilai F pada kesimpulan
b. Pohon semantik dengan menegasikan kesimpulan
3. Gunakan tabel kebenaran untuk mendapatkan Full Disjunctive Normal Form (FDNF) dan 25
Full Conjunctive Normal Form (FCNF) dari ekspresi – ekspresi logika berikut ini:
a.  p  q     p  r   q 
b.    p  q   r   q

4. Ubahlah bentuk ekspresi logika berikut ini menjadi bentuk normal konjungtif (CNF) dan 20
bentuk normal disjungtif (DNF):
a.  p   q  r    r
b.  p   q  r    s

5. Diketahui sebuah pernyataan, ”Semua ahli sejarah mengakui kalau Untung Surapati 15
adalah pejuang yang gagah berani”
Untuk pernyataan di atas, lakukan operasi berikut ini:
a. Ubahlah ke dalam ekspresi logika predikat
b. Negasikan ekspresi logika tersebut
c. Ubah kembali ke dalam bahasa Indonesia