1.

Tentukan nilai kebenaran dari kalimat2 berikut: p(a,x) and p(x,f(x)) (for some y)[p(y,a) or p(f(y),y)] Jika dilakukan interpretasi I dengan domain bilangan bulat positip: a 0,x1,f fungsi suksesor, p relasi kurang dari Lakukan juga interpretasi J sesuai keinginan anda dan tentukan nilai kebenarannya 2. Tentukan validitas kalimat berikut. Pakailah argumentasi tak formal (for some x)[if p(x) then r(x) iff [if (for all x)p(x) then (for some x)r(x) 3. Gambarkan gerbang logic dan buat tabel kebenaran untuk fungsi berikut: a. (A+B+C)(AB+C)(A+BC) b. ABC+ABC+AB 4. Tentukan komplemen dari: a. AB+AB b.(VW+X)Y+Z

SOAL 1. Sebutkan beberapa cara menentukan validitas suatu argumen dan jelaskan! 2. Diketahui argumen berikut : Jika Gejala penyakit yang diderita oleh seorang pasien adalah demam tinggi maka penyakit yang dideritanya adalah campak. Jika penyakit yang dideritanya adalah campak maka saya akan memberikan nerostat selama 5 hari. Dengan demikian, jika gejala yang diderita oleh seorang pasien adalah demam tinggi maka saya akan memberikannya merostat selama 5 hari. 3. Nyatakan ekuivalensi ekspresi logika berikut dengan penyederhanaan, buktikan kesamaan serta ilustrasikan ekspresi logika sebelum dan sesudah penyederhanaan dengan kalimat. ~(A --> ~C) ^ (~B --> C) 4. Buktikan validitas argumen berikut dengan aturan penarikan kesimpulan : Jika saya lulus mata kuliah rekayasa web, maka saya bisa ikut kuliah pemrogramna web. Jika saya bisa ikut pemrograman web, maka seharusnya mahir membuat aplikasi web. Jika saya tidak lulus mata kuliah rekayasa web, maka berarti harus mengulang semester berikut. Saya ternyata tidak mahir membuat aplikasi web. Berarti saya harus mengulang semester berikut. 5. Nyatakan kesamaan atau ketidaksamaan argumen berikut dengan tabel kebenaran dan hukumhukum logika yang diketahui :

a.

jika gejala yang diderita seorang pasien adalah demam tinggi dan timbul bercak merah maka penyakit yang dideritanya adalah campak. b. Tidaklah benar halnya gejla yang diderita oleh seorang pasien adalah demam tinggi dan timbul bercak merah dan penyakit yang dideritanya adalah bukan campak. c. Gejala yang diderita oleh seorang pasien adalah bukan demam tinggi atau tidak timbul bercak merah atau penyakit yang dideritanya camapak. 6. Ubah argumen berikut dalam ekspresi logika : Seseorang akan lulus sekolah jika dia rajin belajar dan membaca berbagai literatur. Seseorang tidak akan lulus sekolah jika dia tidak lulus ujian. Jika dia membaca berbagai literatur, dia akan lulus sekolah. Dia rajin belajar. Dengan demikian dia akan lulus sekolah. 7. Nyatakan valid atau tidak argumen berikut : Jika persebaya memenangkan liga Dunhill, maka para bonek akan senang. Para bonek akan minum-minum jika mereka tidak menang. Dengan demikian, jika para bonek tidak minumminum, maka persebaya akan memenangkan liga Dunhill.

Implikasi Jika hari ini hari Jumat maka 2+3 > 7. bernilai benar untuk semua hari kecuali hari Jumat, walaupun 2+3 > 7 bernilai salah. Kapan pernyataan berikut bernilai benar? Jika hari tidak hujan maka saya akan pergi ke Lembang.

Contoh 4. Ubah ke dalam ekspresi logika: Anda mempunyai akses internet hanya jika anda mahasiswa PTI UNY atau anda bukan mahasiswa UGM Solusi. Misal a : Anda punya akses internet m: Anda mhs PTI UNY f : Anda mhs UGM a (m f)