Mata kuliah : Logika Pemrograman
SKS : 2
Semester/Tahun : 1/ 2012
Prodi/Jur. : PTIK/Teknik Elektro
Dosen : Ir. Ulfah Mediaty A., M.T.
Hari/Tanggal : Rabu, 11 Januari 2012
Soal ujian :
1. Carilah tabel kebenaran untuk setiap proposisi berikut :
2. Tentukan kesimpulan dari hipotesa-hipotesa di bawah ini berdasarkan rumus-rumus metode inferensi. Ia tidak mengetahui nama pertama Presiden dari Firma Jones, maka ia tidak dapat menjadi pegawai dari firma tersebut. Karena itu, jika ia benar-benar pegawai dari Firma Jones, maka ia akan mengetahui nama pertama dari presiden Firma Jones.
3. Nyatakan apakah setiap proposisi berikut tautologi atau tidak!
4. Bentuklah pernyataan yang sesuai dengan rangkaian ini dan sederhanakan rangkaian tersebut!
5. Buktikan kebenaran dari hukum Assosiatif dan hukum Distributif!
