Реферат: Числення предикатiв. Теорiя першого порядку

Числення предикатiв, тобто формальна теорiя предикатiв будується за вищенаведеною класичною схемою побудови формальних (математичних) теорiй.
1. Алфавiт числення предикатiв, тобто множина вихiдних символiв складається з предметних (iндивiдних) змiнних x1,x2,..., предметних (iндивiдних) констант a1,a2,..., предикатних букв P11, P21,...,Pkj,... i функцiональних букв f11,f21,...,fkj,..., а також знакiв логiчних операцiй ?, ?, ?, ?, кванторiв ?, ? i роздiлових знакiв ( , ) , , (кома).
Верхнi iндекси предикатних i функцiональних букв вказують на число аргументiв (арнiсть), а нижнi використовують для звичайної нумерацiї букв.
2. Поняття формули означають у два етапи.
Спочатку означають поняття терма.

Бесплатно скачать реферат "Числення предикатiв. Теорiя першого порядку" в полном объеме