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

Прикладные исчисления предикатов строятся добавлением к исчислению предикатов своих собственных аксиом. Причем, в прикладных исчислениях предикатов вводится понятие терма. Термами являются:

1. предметные переменные и константы;

2. предметные функции (операции с предметными переменными).

В аксиомах прикладных исчислений предикатов наряду с предметными переменными могут использоваться произвольные термы. Так, аксиомы 11, 12 в них имеют вид:

11')

12') ,

где t – произвольный терм.

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

Дата добавления: 2014-01-11