Описание:Спецкурс для аспирантов кафедры логики, в котором рассматривается проблема функциональной полноты в логике высказываний. Вводится понятие функционально полной системы функций истинности (и пропозициональных связок), функционально замкнутого и предполного класса. Исследуются 5 предполных классов: класс функций, сохраняющих истину, класс функций, сохраняющих ложь, класс самодвойственных функций, класс линейных функций, класс монотонных функций. Излагается доказательство теоремы Поста о критерии функциональной полноты.