Экзистенциальное создание - Existential instantiation

В логике предикатов , экзистенциальная Инстанциация (также называемый экзистенциальный ликвидации ) представляет собой правило вывода , который говорит , что, учитывая формулу вида , можно сделать вывод для нового символа постоянной с . Правило имеет ограничения, заключающиеся в том, что константа c, вводимая правилом, должна быть новым членом, который не встречался ранее в доказательстве, а также не должен встречаться в заключении доказательства. Также необходимо, чтобы каждый экземпляр which is bound to был равномерно заменен на c . Это подразумевается обозначениями , но их явное утверждение часто не используется для объяснения. ${\ Displaystyle (\ существует х) \ фи (х)}$${\ Displaystyle \ phi (с)}$${\ displaystyle x}$${\ Displaystyle \ существует х}$${\ displaystyle P \ left ({a} \ right)}$

В одном формальном обозначении правило можно обозначить как

${\ Displaystyle \ существует xP \ left ({x} \ right) \ подразумевает P \ left ({a} \ right)}$

где a - новый постоянный символ, не фигурирующий в доказательстве.

Смотрите также

• Экзистенциальное заблуждение
• Универсальное создание
• Список правил вывода

Рекомендации

Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее .

• v
• т
• е