- •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 Контрольная таблица
- •Список экзаменационных вопросов
Правило условного силлогизма
Правило |
Доказательство |
||
А→ В |
А→ В |
1. |
…………… |
В → С |
В →С |
2. |
…………… |
А→ С |
А |
3. |
…………… |
|
В |
4. |
…………… |
|
С |
5. |
…………… |
|
А→ С |
6. |
…………… |
Правило modus tollens
Правило |
Доказательство правила: |
||
А → В |
1 |
А → В |
…………… |
¬В |
2 |
¬В |
…………… |
¬А |
3 |
А |
…………… |
|
4 |
В |
…………… |
|
5 |
¬А |
…………… |
Правило отрицания дизъюнкции (од)
Правило |
Доказательство: |
||
¬(А∨В) |
1 |
¬(А∨В) |
…………… |
¬А∧¬В |
2 |
А |
…………… |
|
3 |
А∨В |
…………… |
|
4 |
¬А |
…………… |
|
5 |
В |
…………… |
|
6 |
А∨В |
…………… |
|
7 |
¬В |
…………… |
|
8 |
¬А∧¬В |
…………… |
Правило отрицания конъюнкции (ок)
Правило |
Доказательство: |
||
¬(А∧В) |
1 |
¬(А∧В) |
…………… |
¬А∨¬В |
2 |
¬(¬А∨¬В) |
…………… |
|
3 |
¬¬А∧¬¬В |
…………… |
|
4 |
¬¬А |
…………… |
|
5 |
А |
…………… |
|
6 |
¬¬В |
…………… |
|
7 |
В |
…………… |
|
8 |
А∧В |
…………… |
|
9 |
¬¬(¬А∨¬В) |
…………… |
|
10 |
¬А∨¬В |
…………… |
Правило контрапозиции 1
Правила контрапозиции: |
Доказательство |
||
А → В |
1 |
А → В |
…………… |
¬В→¬А |
2 |
¬В |
…………… |
|
3 |
¬А |
…………… |
|
4 |
¬В→¬А |
…………… |
Правило контрапозиции 2
2 Правило |
Доказательство |
||
¬В→¬А |
1 |
¬В→¬А |
…………… |
А → В |
2 |
А |
…………… |
|
3 |
¬¬А |
…………… |
|
4 |
¬¬В |
…………… |
|
5 |
В |
…………… |
|
6 |
А → В |
…………… |