Izteiksmes. Loģiskās operācijas ar izteikumiem. Predikāti. Kvantori

Izteiksmes.
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,bet
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.
Loģikas operācijas.
Viena argumenta operācijas(negācija)
Par izteikuma X noliegumu vai negāciju)sauc izteikumu, kas ir patiess tad un tikai tad, ja X ir aplams. Izteikumuparasti konstruē veidā „nav tiesa, ka X” vai, saīsināti, „ne –X”.…