KEMENTERIAN PENDIDIKAN DAN KEBUDAYAAN

UNIVERSITAS PEMBANGUNAN NASIONAL "VETERAN" YOGYAKARTA

FAKULTAS TEKNIK INDUSTRI
Jl. Babarsari 2 Tambakbayan Yogyakarta 55281, Telp./Fax (0274) 485786
Jl. SWK 104 (Lingkar Utara) Condong Catur Yogyakarta 55283 Telp/Fax (0274) 486889
www.fit.upnyk.ac.id
UJIAN AKHIR SEMESTER GASAL TA 2020/2021

Jurusan/Program : Teknik Informatika/Informatika Program Sarjana

MataKuliah (Kode/SKS) : Logika Informatika (1230052 / 2)
Semester : Satu ( I )
Dosen Penguji : 1. Nur Heri Cahyana, S.T.,M.Kom.
2. Dr. Herlina Jayadianti, S.T., M.T.
Hari/Tanggal/Jam : Senin / 16 Nopember 2020 / 14.30 -15.45 WIB (75menit)
Sifat Ujian : closed book ( handphone off)

Soal :
1. Di ketahui suatu kalimat “Indonesia mempunyai penduduk lebih besar dari Cina atau Indonesia
mempunyai jumlah penduduk lebih kecil atau sama dengan Cina ”
a) Apakah kalimat di atas masuk kalimat proposisional? jelaskan
b) Buatlah kalimat di atas menjadi kalimat abstrak proposisional, 20%
dengan memberikan deskripsi setiap variable pernyataan

2. Di ketahui G suatu kalimat

G : [ P or (if (P and Q and R) then R)]
15%
2.1 Kerjakan subtitusi berikut:
G { Q (P and S); ( P and S) Q }

2.2 Tentukan nilai awal dan nilai akhir dari kalimat hasil subtitusi di atas dengan extended
interpretation sebagai berikut :
J:<P false> < R fal> < Q false> < S false> O I

3. Tentukan validitas kalimat di bawah :

20%
(not Q) or not [ if P then (not Q) and P]

4. Buktikan validitas kalimat di bawah dengan asumsi salah (Proof by falsification)

20%
(if P then Q) or (if Q then P)

5. Buatkan pohon semantic dari kalimat di bawah : 25%

( if P then (not Q)) if and only if not ( P and Q )