Пропозиционные связки. Тождественно-истинные тождественно-ложные и выполнимые формулы. Логические отношения между формулами. Равносильные формулы. Полные системы логических знаков. Нормальные формы формул логики высказываний. Проблема разрешения. Естественный вывод в логике высказываний. Правила построения прямого и косвенного доказательства в системе естественного вывода. Использование логики высказываний для оптимизации принятия организационно-управленческих решений. Кванторы. Введение индивидных переменных. Понятие формулы и правило подстановки в исчислении предикатов. Связанные переменные и правила для кванторов всеобщности и существования. Общезначимые формулы и логические отношения в исчислении предикатов. Метод аналитических таблиц. Естественный вывод в логике предикатов.