- •1. Системы обозначений металлорежущих станков
- •4.5. Правила выводов логики высказываний
- •Основные правила:
- •Упражнение: восстановите анализ доказательства
- •Упражнение: восстановите анализ доказательства
- •1 Таблица
- •Упражнение Сделай правильный вывод
- •2 Таблица
- •3 Таблица
- •Упражнение
- •Список названий
- •Основные правила: прямые
- •Непрямые правила
- •Производные правила Правило условного силлогизма
- •Правило modus tollens
- •Правило отрицания дизъюнкции (од)
- •Правило отрицания конъюнкции (ок)
- •Правило контрапозиции 1
- •Правило контрапозиции 2
- •Правило сложной контрапозиции
- •Правило простой конструктивной дилеммы (п.К.Д.)
- •Правило сложной конструктивной дилеммы (с.К.Д.)
- •Правило простой деструктивной дилеммы (п.Д.Д.)
- •Правило сложной деструктивной дилеммы (с.Д.Д.)
- •Для упражнений
- •Упражнение №1 Воспроизведите комментарии к доказательству Производные правила
- •Упражнение №2 Воспроизведите ход доказательства и комментарии к доказательству
- •Правило условного силлогизма
- •Правило modus tollens
- •Правило отрицания дизъюнкции (од)
- •Правило отрицания конъюнкции (ок)
- •Правило контрапозиции 1
- •Правило контрапозиции 2
- •Правило сложной контрапозиции
- •Правило простой конструктивной дилеммы (п.К.Д.)
- •Правило сложной конструктивной дилеммы (с.К.Д.)
- •Правило простой деструктивной дилеммы (п.Д.Д.)
- •Правило сложной деструктивной дилеммы (с.Д.Д.)
- •Пример.
- •Правила вывода второго рода:
- •Пример.
- •Основные непрямые правила
- •Производные правила
- •Правило «modus tоllens»:
- •2 Правило контрапозиции:
- •Электронная формула водорода
- •Посылки и вывод
- •1.2.2 Разделительные умозаключения.
- •Банк разделительных умозаключений.
- •≡≡Таблица сложения, умножения, имплицирования, эквиваленциирования
- •6.5. Математическая логика
- •6.6. Объекты и высказывания
- •6.7. Логические связки
- •6.8. Предикаты
- •6.9. Кванторы
- •6.10. Связка «такой, что»
- •6.11. Физический предмет и логический объект
- •6.12. Функции
- •6.13. Синтаксис и семантика
- •6.14. Логический анализ языка
- •Упражнение
- •Упражнение
- • Ключ №1 Контрольная таблица
- •Список экзаменационных вопросов
Упражнение: восстановите анализ доказательства
Производные правила |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Правило условного силлогизма |
Правило modus tollens |
Правило отрицания дизъюнкции (ОД) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Правило отрицания конъюнкции (ОК)
|
Правила контрапозиции 1
|
Правила контрапозиции 2
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||