Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Основные теоремы общезначимости в исчислении предикатов

Онлайн школа английского языка нового поколения. Более 7 лет предоставляет обучение английскому языку по Skype (Скайп) и является лидером данного направления! Основные преимущества:

  • Вводный урок бесплатно;
  • Большое число опытных преподавателей (нейтивов и русскоязычных);
  • Курсы НЕ на определенный срок (месяц, полгода, год), а на конкретное количество занятий (5, 10, 20, 50);
  • Более 10 000 довольных клиентов.
  • Стоимость одного занятия с русскоязычным преподавателем - от 600 рублей, с носителем языка - от 1500 рублей

Узнать детали

Теорема 1. Пусть A(x) – формула, свободная для y. Тогда:

I.                   |=Основные теоремы общезначимости в исчислении предикатов

II.                |=Основные теоремы общезначимости в исчислении предикатов

Следствие. Если |= Основные теоремы общезначимости в исчислении предикатов, то |=Основные теоремы общезначимости в исчислении предикатов.

Теорема 2. Пусть x – какая-либо переменная, B – какая-либо формула, не содержащая свободных вхождений x, и A(x) – какая-либо формула. Тогда:

I.                   Если |=Основные теоремы общезначимости в исчислении предикатов, то |=Основные теоремы общезначимости в исчислении предикатов

II.                Если |= Основные теоремы общезначимости в исчислении предикатов, то Основные теоремы общезначимости в исчислении предикатов

Следствие: Если |= A(x), то |= Основные теоремы общезначимости в исчислении предикатов.

Теорема 3. Пусть x и y – две различные переменные, A(x), B(x) и A(x,y) – любые формулы и A – любая формула, не содержащая свободных вхождений x. Тогда:

Основные теоремы общезначимости в исчислении предикатов