Напишем:


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

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

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

 

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

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

Правила введения и удаления кванторов

Наиболее распространенными правилами являются:

1) Введение квантора общности: “если F1(t)® F2(x)   выводимая формула и F1(t)    не содержит свободной переменной x , то F1(t)® "x(F2(x)) также выводима”, т.е.

Правила введения и удаления кванторов                         (F1(t)® F2(x))         

(F1(t)® "x(F2(x))).

2) Удаление квантора общности: "если "x(F(x)) выводимая формула, то вместо x можно выполнить подстановку терма t, свободного от x , и получить также выводимую формулу F (t), т.е.

Правила введения и удаления кванторов"x(F(x))

          .                      F (t).

3) Введение квантора существования: "если терм t вхо­дит в предикат F(t) , то существует, по крайней мере одна предмет­ная переменная x , удовлетворяющая требованиям $x(F(x)) ”, т.е.                                

Правила введения и удаления кванторов     F(t)      

                                  $x(F(x)).

 4) Смена квантора:

Правила введения и удаления кванторовПравила введения и удаления кванторов                  "x(F(x))                    $x(F(x))

ù$x(ùF(x));                   ù"x(ùF(x)). 

   5) Перенос квантора, если терм t не содержит переменной x:

Правила введения и удаления кванторовa)   Âx(F1(x))Ú F2(t)

Âx(F1(x)Ú F2(t));

Правила введения и удаления кванторовb) Âx(F1(x))&F2(t)

      Âx(F1(x)& F2(t);

Правила введения и удаления кванторовc) F1(t)® Âx(F2(x))

      Âx(F1(t)®F2(x));

Правила введения и удаления кванторов               d) "x(P(x))®F(t)

$x(P(x)®F(t));

 

Правила введения и удаления кванторов               e) $x(P(x))®F(t)

"x(P(x)®F(t)).

6) Введение новой переменной:

Правила введения и удаления кванторовa) "x(F1(x))Ú"x(F2(x))

"y"x(F1(y)Ú F2(x));

Правила введения и удаления кванторовb) $x(F1(x))&$x( F2(x))

$y$x(F1(y)Ú F2(x)).