Тема 7. Доказательство и опровержение. Доказательство как способ обоснования истинности суждений или теорий

Доказательство как способ обоснования истинности суждений или теорий. Эмпирические и дедуктивные доказательства. Структура доказательства: тезис, аргументы, демонстрация. Прямое и косвенное доказательство. Требование к элементам доказательства. Ошибки в проведении доказательства. Опровержение, его структура. Виды опровержения. Правила опровержения.

Тема 8. Элементы символической логики

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