Predikata logiko: Malsamoj inter versioj

Baza koncepto de la predikata logiko estas la ''[[predikato (logiko)|predikato]]''. Predikato estas sinsekvo de vortoj kun vakaj lokoj, kiu iĝas vera aŭ malvera aserto se oni enmetas propran nomon en ĉiun vakan lokon. Ekzemple "…  estas homo" estas predikato, ĉar per enmeto de propra nomo, ekzemple "Sokrato", oni kreas aserton, nome "Sokrato estas homo". La aserto "La tero estas plata" estas predikatlogike analizebla en la propran nomon "la tero" kaj la predikato "… estas plata". Anstataŭ propran nomon oni ankaŭ povas enmeti varianton en la predikaton, per kio la predikato iĝas frazo-funkcio: φ_(''x'')=„''x'' estas homo“ estas funkcio, kiu redonas la valoron "vera" se x estas homo kaj la valoron "malvera" se x ne estas homo.

 

 

Foje oni aldone uzas nombrajn kvantigilojn, per kiuj eblas esprimi, ke iu predikato estas valida por certa kvanto de objektoj. Tiuj kvantigiloj tamen ne estas vere bezonataj, ĉar ili estas esprimeblaj per universalaj kaj ekzistaj kvantigiloj kaj la [[identeco (logiko)|identeco-predikato]].