Logika proposisional hanya terkait dengan hubungan logika yang bergantung pada cara proposisi

disusun dari proposisi lain oleh operasi logika. Proposisi terakhir ini diperlakukan sebagai keseluruhan
yang tidak disatukan. Ini tidak memadai untuk banyak contoh penalaran deduktif yang struktur proposisi
internal tidak dapat diabaikan.

Proposisi adalah kalimat yang diungkapkan dalam beberapa bahasa. Setiap kalimat yang mewakili
proposisi secara mendasar dapat dipecah menjadi subjek dan predikat. Dengan kata lain, proposisi
sederhana dapat diungkapkan, secara umum, dalam bentuk kanonik adalah dimana x adalah simbol
subjek, dan P menunjuk sebuah predikat yang menjadi ciri sebuah properti. Misalnya, "Austria adalah
negara berbahasa Jerman" adalah proposisi di mana "Austria" adalah singkatan dari sebuah subjek
(negara tertentu) dan "negara berbahasa Jerman" adalah predikat yang mencirikan properti tertentu,
yaitu properti menjadi negara yang penduduknya berbicara bahasa Jerman. Proposisi ini benar adanya.

Alih-alih berurusan dengan proposisi tertentu, kita dapat menggunakan bentuk umum "x adalah P" di
mana x sekarang mewakili subjek dari sekumpulan wacana yang ditunjuk X. Predikat P kemudian
memainkan peran fungsi yang didefinisikan pada X, yang untuk masing-masing nilai x membentuk
proposisi. Fungsi ini biasanya disebut predikat dan dilambangkan dengan P (x). Jelas, predikat menjadi
proposisi yang benar atau salah bila subjek tertentu dari X diganti x.

Hal ini berguna untuk memperpanjang konsep predikat dalam dua cara. Pertama, wajar jika
menambahkannya ke lebih dari satu variabel. Ini mengarah pada gagasan tentang n-ary predikat
(1 , 2 , , ) yang untuk n = 1 mewakili sebuah properti dan untuk n> 2 hubungan n-ary antara
subyek dari set universal yang ditunjuk Xi (i e Nn). Sebagai contoh, 1 adalah anggota 2 adalah predikat
biner, di mana xi adalah singkatan dari individu dari populasi yang ditunjuk X1 dan x2 adalah singkatan
dari masing-masing negara dari negara X2 yang ditunjuk. Di sini, elemen X2 biasanya disebut objek
daripada subjek. Untuk kenyamanan, predikat n-ary untuk n-0 didefinisikan sebagai proposisi dalam
pengertian yang sama seperti logika proposisional.

Cara lain untuk memperluas cakupan predikat adalah untuk mengukur penerapannya
sehubungan dengan domain variabelnya. Dua jenis kuantifikasi telah banyak digunakan untuk predikat,
mereka disebut sebagai kuantifikasi eksistensial dan kuantifikasi universal.

Kuantifikasi eksistensial predikat P (x) dinyatakan dalam bentuk

()()

yang mewakili kalimat "Ada individu x (dalam himpunan X universal dari variabel x) sehingga x adalah P"
(atau kalimat yang setara "Beberapa x X adalah P"). Simbol disebut quantifier eksistensial. Kita
memiliki persamaan berikut:

()() = ()

Kuantifikasi universal predikat P (x) dinyatakan dalam bentuk

()()

yang mewakili kalimat "Untuk setiap individu x (dalam himpunan universal yang ditunjuk), x adalah P"
(atau kalimat yang setara, "Semua x X adalah P"). Simbol disebut pengukur universal. Jelas,
persamaan berikut ini berlaku:

()() = ()()

Untuk predikat n-ary, kita dapat menggunakan sampai n pengukur dari salah satu jenis, masing-masing
menerapkan satu variabel. Contohnya,

(1 )(2 )(3 )(1 , 2 , 3 )

singkatan dari kalimat "ada sebuah 1 1 sedemikian rupa sehingga untuk semua 2 2 ada 3 3
sedemikian rupa sehingga (1 , 2 , 3 ). Contohnya, jika 1 = 2 = 3 = [0,1] dan (1 , 2 , 3 )
berarti 1 2 3 , maka pernyataan itu benar (misalkan 1 = 0 dan 3 = 1).

Kuantifikasi standar eksistensial dan universal dari predikat dapat dengan mudah disamaratakan dengan
mengandung sebuah pembilang Q yang diterapkan pada predikat P {x), x X, sebagai relasi biner

{(, )|, , + = ||}

dimana , tentukan jumlah elemen X dimana P {x) benar atau salah.

Secara formal,

= |{ |() }|

= |{ |() }|

Sebagai contoh, jika Q didefinisikan oleh kondisi, kita memperoleh quantifier eksistensial standar; ketika
= 0, Q menjadi standar pengukur universal; ketika > 0, kita mendapatkan yang disebut pluralitas
quantifier, yang diungkapkan dengan kata "most."

Predikat baru (dihitung atau tidak) dapat dihasilkan dari predikat yang diberikan oleh rumus logika
dengan cara yang sama seperti variabel logika baru dihasilkan oleh rumus logika dalam logika
proposisional. Rumus ini, yang disebut formula predikat, adalah inti dari logika predikat.