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

Онлайн школа английского языка нового поколения. Более 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. Тогда:

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

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

Главное меню

Лекционные материалы

Файлы по логике

Случайная новость