Правила вывода в исчислении предикатов.

Логика предикатов, также как и логика высказываний, основана на дедуктивном рассуждении. Поэтому правила вывода логики высказываний, приведенные в п. 3.2.4 , равнозначно действуют и в логике предикатов. Однако они дополняются правилами введения и удаления кванторов всеобщности и существования. Пусть Е – множество формул.

Правила введения кванторов следующие:

для квантора ,

для квантора .

Правила удаления кванторов следующие:

 

для квантора ,

для квантора .

 

Так же, как и в логике высказываний, в логике предикатов правила вывода применяются очень редко. Причины те же самые и поэтому здесь не повторяются.

В основном правила вывода используются для эквивалентных преобразований формульного представления теорем с целью приведения их к канонической форме.