Воспроизведите ход доказательства и комментарии к доказательству

Производные правила

Для упражнений

9. Упражнение №1 Воспроизведите комментарии к доказательству

10. Упражнение №2

Правило условного силлогизма

Правило modus tollens

Правило отрицания дизъюнкции (ОД)

Правило отрицания конъюнкции (ОК)

Правило контрапозиции 1

Правило контрапозиции 2

Правило сложной контрапозиции

Правило простой конструктивной дилеммы (П.К.Д.)

Правило сложной конструктивной дилеммы (С.К.Д.)

Правило простой деструктивной дилеммы (П.Д.Д.)

Правило сложной деструктивной дилеммы (С.Д.Д.)

11. Упражнение

9. Список названий правил вывода

1. ВК: 2. ВД1: 3. УД2: 4. УИ2: 5. УЭ1: 6. 7. 8. 9. УК1: 10. ВД2: 11. ОД: 12. ОИ: 13. УЭ2: 14. 15. 16. 17. УК2: 18. УД1: 19. УИ1: 20. ВЭ: 21. ВО: 22. ОК: 23. УО:

10. Список схем правил вывода

1. ; 2. ; 3. ; 4. ; 5. ; 6. ; 7. ; 8. ; 9. ; 10. ; 11. ; 12. ; 13. ; 14. ; 15. ; 16. ; 17. ; 18. ; 19. ; 20. ; 21. ; 22. ; 23. ;

11. Список схем правил вывода с пропущенным выводом

где А(t) – результат правильной подстановки термина t вместо x в А(х);

где А(х) – результат правильной подстановки переменной х вместо y в А(y);

x, a₁, a₂,…, a_n отмечены, причем переменная x безотносительно отмечена, а переменные a₁, a₂,…, a_n отмечены относительно x.

Пояснения

1. Буквами A и В при формулировке правил обозначаются формулы. Выражение А(у) обозначает формулу, имеющую сво­бодное вхождение переменной у, a A(t) — формулу, имеющую вхождение терма t, причем если t — переменная, то A(t) — формула, имеющая свободное вхождение этой переменной, а если t — индивидная константа, то A(t) — формула, содержа­щая эту константу.

2. Названия правил вывода расшифровываются так: ВК — введение конъюнкции, УК — удаление конъюнкции, OK — отрицание конъюнкции, ВД — введение дизъюнкции, УД — удаление дизъюнкции, ОД — отрицание дизъюнкции, УИ — удаление импликации, ОИ — отрицание импликации, ВЭ — введение эквивалентности, УЭ — удаление эквивалентности, ВО — введение (двойного) отрицания, УО — удаление (двойного) отрицания, — отрицание квантора общности, — отрицание квантора существования, — введение квантора общности, — удаление квантора существования, — введение квантора существования, — удаление кван­тора общности.

Дата добавления: 2014-11-25; Просмотров: 421; Нарушение авторских прав?; Мы поможем в написании вашей работы!