Pengetahuan Dan Penalaran Nama : Dian Irawati Kelas : 3KA10 Npm : 17115453 Dosen : Essy Malays Sari Sakti Logika Orde Pertama (First-Order Logic ) 5.1. Pengenalan logika orde pertama First order logic adalah sebuah bahasa formal yang digunakan di ilmu matematika, philosophy, bahasa dan ilmu computer. Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form). Kalkulus predikat bisa menganalisakan kalimat-kalimat ke dalam subjek dan argumen dalam berbagai cara yang berbeda-beda, yang pada akhirnya kalkulus predikat bisa digunak...
Komentar
Posting Komentar