Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э. Бета, семантика возможных миров С. Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Predlagaemoe uchebnoe posobie prednaznacheno dlja studentov, nachinajuschikh izuchat matematicheskuju logiku, ono takzhe mozhet byt ispolzovano pri samoobrazovanii. Pri izlozhenii materiala podchjorkivajutsja algebraicheskie aspekty ischislenij vyskazyvanij klassicheskoj i intuitsionistskoj logik. Izlozheny metody kharakterizatsii formul logiki vyskazyvanij, podrobno rassmotreny gilbertovskie ischislenija, sistema naturalnogo vyvoda i ischislenie sekventsij dlja ischislenija vyskazyvanij. Dlja kazhdoj iz trjokh sistem rassmatrivaetsja sootvetstvujuschaja metateorija. Rassmatrivajutsja semanticheskie metody kharakterizatsii formul (tablitsy E. Beta, semantika vozmozhnykh mirov S. Kripke). Posobie soderzhit bolshoe kolichestvo primerov, pozvoljajuschikh chitatelju legko osvoitsja s vvodimymi ponjatijami.