TUGAS LOGIKA INFORMATIKA
1. DIKERJAKAN DI KERTAS A4, DITULIS TANGAN
2. DIBERI COVER MIKA, WARNA SESUAI PRODI MASING-MASING 3. COVER DIKETIK (TIDAK TULIS TANGAN)
Soal :
1. Buktikan argumen-argumen ini valid atau tautologi, contingent atau kontradiksi dengan
penyederhanaan:
a. Tono dan Tini keduanya pergi ke bioskop. Jika Tini pegi ke bioskop, maka Siti akan
pergi ke bioskop, dan jika Tini tidak pergi maka Bowo pergi. Bowo akan pergi jika
Tini pergi.Tini akan pergi jika Siti pergi. Dengan demikian, Siti pergi ke bioskop.
b. Jika Badu tinggal di Jakarta, dia akan bahagia. Jika dia bahagia dan menyukai
pekerjaannnya, maka dia akan memperoleh gaji yang baik dari pekerjaannya atau dia
sedang jatuh cinta. Jika dia jatuh cinta, maka dia akan lebih menyukai pekerjaannya.
Dengan demikian, jika dia tinggal di Jakarta, maka dia akan memperoleh gaji yamng
baik dari pekerjaannya.
2. Buktikan validitas argumen berikut ini dengan Model dengan memberi nilai F pada
kesimpulan:
a. Jika m negatif, maka q negatif. Jika p positif maka q negatif. Dengan demikian, jika m
negatif atau p positif maka q negatif.
b. Jika Badu mencontek saat ujian maka pengawasnya lalai atau dosennya telah
memperingatkan. Jika dosennya tidak memperingatkan, maka pengawasnya tidak
lalai. Dosennya memperingatkan. Dengan demikian, Badu mencontek saat ujian.
3. Buktikan validitas argumen-argumen berikut ini dengan tablo semantik:
a. Jika Anik tinggal di Jogja, dia tinggal di Indonesia. Anik tidak tinggal di Jogja.
Dengan demikian, dia tinggal di Asia Tenggara.
b. Jika Wawan tinggal di Jogja, ia akan berbahagia. Jika dia bahagia dan senang belajar,
dia akan lulus sekolah jika dia tidak jatuh cinta. Jika dia jatuh cinta, dia akan senang
4. Gunakan tabel kebenaran untuk mendapatkan FDNF dan FCNF dari ekspresi-ekspresi
berikut:
a. (A B)→(C (C→A))