Logika vyskazyvanij: Uchebnoe posobie

Predlagaemoe uchebnoe posobie prednaznacheno dlya studentov, nachinayushhich izuchat′ matematicheskuyu logiku, ono takzhe mozhet byt′ ispol′zovano pri samoobrazovanii. Podchyorkivayutsya algebraicheskie aspekty ischislenij vyskazyvanij klassicheskoj i intuicionistskoj logik. Izlozheny metody charakterizacii formul logiki vyskazyvanij, podrobno rassmotreny gil′bertovskie ischisleniya, sistema natural′nogo vyvoda i ischislenie sekvencij dlya ischisleniya vyskazyvanij. Dlya kazhdoj iz tryoch sistem rassmatrivaetsya sootvetstvuyushhaya meta teoriya. Rassmatrivayutsya semanticheskie metody charakterizacii formul. Posobie soderzhit bol′shoe kolichestvo primerov, pozvolyayushhich chitatelyu legko osvoit′sya s vvodimymi ponyatiyami.