WikiDer > Экзистенциальное обобщение

В логика предикатов, экзистенциальное обобщение^[1][2] (также известен как экзистенциальное введение, ∃Я) это действительный правило вывода который позволяет перейти от конкретного утверждения или одного экземпляра к количественному обобщенному утверждению, или экзистенциальное суждение. В логика первого порядка, часто используется как правило для экзистенциальный квантор (${ Displaystyle существует}$) в формальных доказательствах.

Пример: «Ровер любит вилять хвостом. Следовательно, что-то любит вилять хвостом».

в Расчет в стиле Fitch:

${ Displaystyle Q (а) к существует {х} , Q (х)}$

Где ${ displaystyle a}$ заменяет все бесплатные экземпляры ${ displaystyle x}$ в ${ Displaystyle Q (х)}$.^[3]

Куайн

В соответствии с Уиллард Ван Орман Куайн, универсальное создание и экзистенциальное обобщение - это два аспекта единого принципа, поскольку вместо того, чтобы сказать, что ${ Displaystyle forall х , х = х}$ подразумевает ${ displaystyle { text {Сократ}} = { text {Сократ}}}$, мы могли бы также сказать, что отрицание ${ displaystyle { text {Сократ}} neq { text {Сократ}}}$ подразумевает ${ Displaystyle существует х , х neq х}$. Принцип, воплощенный в этих двух операциях, является связующим звеном между количественные оценки и единичные утверждения, которые связаны с ними как с примерами. Но это принцип только из вежливости. Это справедливо только в том случае, если термин именуется и, кроме того, встречается ссылочно.^[4]

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

• Правила вывода

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

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