Par izteikumu sauc jebkuru apgalvojumu, kas ir vai nu patiess, vai aplams. Izteikumam var noteikt patiesuma vērtību.
Patiesu izteikumu apzīmē ar 1
Nepatiesu izteikumu apzīmē ar 0
Apgalvojumu, kas satur vienu vai vairākus mainīgos un kas ar konkrētām mainīgo vērtībām kļūst par izteikumu, sauc par predikātu.
Atkarībā no mainīgo skaita izšķir vienvietīgus, divvietīgus, trīsvietīgus utt. Predikātus.…