Напишем:


✔ Реферат от 200 руб.
✔ Контрольную от 200 руб.
✔ Курсовую от 500 руб.
✔ Решим задачу от 20 руб.
✔ Дипломную работу от 3000 руб.
✔ Другие виды работ по договоренности.

Узнать стоимость!

Не интересно!

 

- , ,

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

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

Теорема 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. Тогда:

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

 

Авторизация на сайте

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