Predikātu loģika

Formulas konkretizācija
• Mainīgos, kuri formulā ir brīvi, sauc par mainīgajiem.
• Visus mainīgos predikātus aizvieto ar reāliem predikātiem un visus argumentus ar konkrētās kopas M reāliem objektiem; tiek iegūts izteikums (patiess vai aplams).
• Izteikums – konkretizācijas formula
Identiski patiesa formula
Formulu F sauc par identiski patiesu kopā M, ja jebkura šīs formulas konkretizācija kopā M ir patiesa
Izpildāma formula
Formulu F sauc par izpildāmu kopā M, ja eksistē patiesa šīs formulas konkretizācija kopā M
…