Основные схемы логически правильных рассуждений

Национальный исследовательский Томский политехнический университет. 2016. 16 с.
Презентация к лекции по учебной дисциплине «Математическая логика и теория алгоритмов» Доцент Березовская О.Б. Схемы логически правильных рассуждений
Правило заключения - утверждающий модус
Правило отрицания - отрицательный модус
Правила утверждения - отрицания
Правила отрицания – утверждения
Правило транзитивности
Закон противоречия
Правило контрапозиции
Правило сложной контрапозиции
Правило сечения
Примеры