Экзистенциальное воплощение
-
Основы логики предикатов
- Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и других логических операций
- Правила ассоциативности, коммутативности, распределительной способности, двойного отрицания и законов Де Моргана
- Экзистенциальное создание экземпляров (экзистенциальная элиминация) для формул вида (∃x)ϕ(x)
- Ограничения на константу c, введенную правилом, и на замену переменных x на c
- Указание на возможное использование формального обозначения для правила
-
Рекомендации и расширение статьи
- Статья является заглушкой и нуждается в расширении для улучшения качества Википедии
Полный текст статьи: