Изчисление на предикати

Нека да изберем набора от стойности на истината [math] V [/ math]. Също така, нека да изберем някакъв набор от предмети [математика] D [/ математика] . n-място предикат ще извикаме функцията от [math] D ^ n [/ math] до [math] V [/ math]. Както и преди, ще се ограничим до класическия набор [math] V [/ math] - true и false, но оставяме потенциала да го разширим.

Предикатите могат да бъдат 0-места, в този случай те са добре познати предложения променливи, които приемат някои истинни стойности, чийто произход не се задълбочаваме.

Помислете за следния известен пример: всеки човек е смъртен, Сократ е човек, следователно Сократ е смъртен. Можем да формализираме този израз, използвайки предикати: множеството [math] D [/ math] е набор от всички същества, [math] S (x) [/ math] е предикатът „да бъдеш смъртен“, [math] H ( x) [/ math] е предикат "да бъдеш човек". Тогава фразата в полуформална форма изглежда така: За всеки [math] x [/ math] такъв, че [math] H (x) [/ math] [math] S (x) [/ math] е вярно, така че тъй като [математика] H [/ математика] (Сократ) означава, че [математика] S [/ математика] (Сократ).

---