Contoh Soal Logika Predikat. Logika predikat dengan simbol simbol fungsi operator dan beberapa aturan pembuktian cukup untuk mendefinisikan sistem matematika apapun dan juga. Bila p adalah simbol predikat ternier dengan arity 3 maka p a x f a x adalah proposisi karena a x dan f a x adalah term.
Modul 4 Representasi Pengetahuan from www.slideshare.net
Sebuah predikat seringkali menyatakan sebuah hubungan relasional antara. Lebih general dengan adanya predikat. Example diberikan predikat berikut.
X habis dibagi 3 q x.
Example diberikan predikat berikut. Hukum logika proposisi masih berlaku dengan perluasan. Kita sebut p sebuah fungsi proposisi dalam d jika untuk setiap x di d p x adalah proposisi. Mampu menyatakan relasi antar objek.
