Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini.
Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan.
|
![]() | artikel ini perlu dirapikan agar memenuhi standar Wikipedia. |
Logika predikat tingkat pertama adalah sistem deduksi formal yang digunakan dalam matematika, filosofi, linguistika, dan ilmu komputer.
Jika kalkulus proposisional membahas proposisi sederhana, LTP menambahkan predikat dan kuantor. Misalnya:
Kedua kalimat di atas dalam kalkulus proposisional adalah dua proposisi yang tidak berhubungan, misalnya dilambangkan dengan p dan q. Dalam LTP, keduanya dihubungkan dengan satu sifat, yaitu Manusia(x), artinya x adalah seorang manusia. Bila x = Socrates kita mendapatkan proposisi pertama, p; dan jika x = Plato kita mendapatkan proposisi kedua, q.
Contoh berikut menjabarkan perbedaan kalkulus proposisional dan LTP:
Dalam kalkulus proposisional, ketiga kalimat di atas diterjemahkan sebagai:
( artinya "maka")
Ketiga kalimat di atas tidak dapat dihubungkan dalam kalkulus proposisional. Dalam LTP, kita dapat menerjemahkan ketiga kalimat itu sebagai:
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search