Diskusi 8 Logika Informatika [PDF]

Citation preview

Tentukan dua interpretasi untuk E: q(f(a, f(x, b))) or q(g(x,y, a)). yang agree on term f(x, b). Diskusikanlah jawaban soal di atas dengan mengacu kepada rubrik skor. Rubrik skor: 



Jika mahasiswa menjawab dan menjelaskan dengan tepat (total skor maksimal 100).







Jika mahasiswa menjawab dengan tepat tanpa disertai penjelasan (total skor maksimal 70).







Jika mahasiswa memberikan tanggapan terima kasih/ tanggapan yang tidak berkaitan dengan soal diskusi (skor maksimal 10).







Jika mahasiswa melakukan plagiarisme (skor maksimal 1).



Gunakan BMP MSIM 4103 Logika Informatika sebagai acuan. Selamat mengerjakan!



Jawab : Dua interpretasi dikatakan agree on term f(x, b), jika *interpretasi I dan J memberikan nilai sama untuk term f(x, b), atau *Kedua interpretasi I dan J bukan merupakan interpretasi untuk term tersebut I:[x 8, b 6, f fI(d1,d2)=d1+d2, d : Bilangan bulat positif] J:[x 9, b 5, f fI(d1,d2)=d1+d2, d : Bilangan bulat positif] Untuk mengetahui apakah interpretasi I dan J agree on term f(x, b) interpretasi I f fI(d1,d2)=d1+d2 8+6 = 14 interpretasi J f fI(d1,d2)=d1+d2 9+5 = 14



karena interpretasi I dan J memberikan nilai yang sama untuk term f(x, b), maka I dan J agree on term f(x, b).



Sumber : Buku Materi MSIM 4103