Kalkulus predikat , juga dipanggil Logic Of Quantifiers, bahagian logik formal atau simbolik moden yang secara sistematik memperlihatkan hubungan logik antara ayat yang berlaku semata-mata berdasarkan cara di mana predikat atau ungkapan kata nama diedarkan melalui rentang mata pelajaran dengan menggunakan pengkuantiti seperti "semua" dan "beberapa" tanpa mengambil kira makna atau isi konsep dari predikat tertentu. Predikat seperti itu boleh merangkumi kualiti dan hubungan; dan, dalam bentuk urutan tinggi yang disebut kalkulus fungsional, ini juga termasuk fungsi, yang merupakan ekspresi "kerangka" dengan satu atau dengan beberapa pemboleh ubah yang memperoleh nilai kebenaran yang pasti hanya apabila pemboleh ubah diganti dengan istilah tertentu. Kalkulus predikat harus dibezakan dari kalkulus proposisional, yang berkaitan dengan keseluruhan proposisi yang tidak dianalisis yang berkaitan dengan penghubung (seperti “dan,” “jika.kemudian, "dan" atau ").
Baca Lebih Lanjut mengenai Logik formal Topik ini: Proposisi kalkulus predikat juga dapat dibuat, bukan dari proposisi lain tetapi dari unsur-unsur yang bukan merupakan cadangan mereka sendiri. Yang paling mudah ...Silogisme tradisional adalah contoh logik predikat yang paling terkenal, walaupun tidak menghabiskan subjeknya. Dalam hujah seperti "Semua C adalah B dan tidak ada B adalah A, jadi tidak ada C yang A, " kebenaran kedua premis tersebut memerlukan kebenaran kesimpulan berdasarkan cara bagaimana predikat B dan A diedarkan dengan rujukan ke kelas yang ditentukan oleh C dan B, masing-masing. Sekiranya, misalnya, predikat A hanya dimiliki salah satu dari huruf B , maka kesimpulannya mungkin salah — beberapa Cboleh menjadi A.
Logik simbolik moden, di mana predikat kalkulus adalah bahagian, tidak terhad kepada bentuk silogistik tradisional atau simbolisme mereka, sebilangan besar yang telah dirancang. Kalkulus predikat biasanya dibina berdasarkan beberapa bentuk kalkulus cadangan. Ia kemudian memberikan klasifikasi jenis ayat yang dikandungnya atau ditangani, dengan merujuk kepada cara yang berbeza di mana predikat dapat diedarkan dalam ayat. Ini membezakan, misalnya, dua jenis ayat berikut: "Semua F adalah G atau H ," dan "Beberapa F kedua-duanya adalah G dan H" Syarat kebenaran dan kepalsuan dalam jenis ayat dasar ditentukan, dan kemudian dibuat klasifikasi silang yang mengelompokkan ayat-ayat yang dapat dirumuskan dalam kalkulus menjadi tiga kelas yang saling eksklusif— (1) ayat-ayat yang benar pada setiap kemungkinan spesifikasi makna tanda predikat mereka, seperti dengan "Semuanya F atau bukan F "; (2) yang salah pada setiap spesifikasi tersebut, seperti dengan "Sesuatu adalah F dan bukan F "; dan (3) yang benar pada beberapa spesifikasi dan yang salah pada yang lain, seperti dengan "Sesuatu adalah F dan adalah G."Ini, masing-masing, adalah ayat tautologis, tidak konsisten, dan luar jangkaan dari kalkulus predikat. Jenis ayat tautologis tertentu boleh dipilih sebagai aksioma atau sebagai asas peraturan untuk mengubah simbol pelbagai jenis ayat; dan prosedur yang rutin dan mekanikal kemudiannya dapat ditetapkan untuk memutuskan sama ada ayat yang diberikan itu bersifat tautologis, tidak konsisten, atau kontingen — atau sama ada dan bagaimana ayat yang diberikan saling berkaitan secara logik. Prosedur sedemikian boleh dibuat untuk menentukan sifat logik dan hubungan setiap kalimat dalam kalkulus predikat yang tidak mengandungi predikat (fungsi) yang melebihi predikat sendiri - iaitu, dalam kalkulus predikat pertama atau lebih rendah.
Calculi yang mengandungi predikat bebas dari predikat, di sisi lain - disebut calculi orde tinggi - tidak membenarkan klasifikasi semua ayat mereka dengan prosedur rutin seperti itu. Seperti yang dibuktikan oleh Kurt Gödel, seorang ahli logika matematik Amerika kelahiran abad ke-20, kalkulus ini, jika konsisten, selalu mengandungi formula yang terbentuk dengan baik sehingga tidak dapat disangkal (negarakan tautologi) oleh peraturan kalkulus . Kalkulus semacam itu, dalam erti kata yang tepat, tidak lengkap. Berbagai bentuk kalkulator yang lebih tinggi yang dibatasi telah terbukti, bagaimanapun, rentan terhadap prosedur keputusan rutin untuk semua formula mereka. Lihat juga kalkulus cadangan.
