Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 10 с. Понятие формальной аксиоматической теории Понятия формальной выводимости и формального доказательства Определение формальной аксиоматической теории L логики высказываний Теорема дедукции Полнота исчисления высказываний...
Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 15 с. Высказывания и операции над ними Формулы. Таблицы истинности Тавтологии. Противоречия. Выполнимые формулы Проблема разрешения. Равносильные формулы Нормальные формы СДНФ и СКНФ, их существование и единственность Закон двойственности