Пропозиционални функция

- функция, чийто обхват до твърдения, които са определени

истина стойност. В своята структура, P. е. подобно на граматическите изречения, но се различава от нея чрез наличието на променливи, които минават през някакъв набор от обекти; P. е. възлага на тези обекти отчети.

Пример P. е. може да служи като израз на "х е просто число." Имащи вид граматически изречения, не е изявление: Невъзможно е да се каже, че това е вярно или невярно, то не може да бъде доказана или опровергана. От тази формула, като се замени променливата х се получава чрез редица изявлението. Ако вместо променлива заместител номер 11, може да получи вярно твърдение, ако 8 - невярно. А малко по-сложна експресия, съдържащи променливи и се превръща чрез заместване на тези променливи постоянни в изложението, е формула х у = 10.

В обикновения език, променливите не са намерени, но има проекти, които им напомнят, например. "Някой" и "някои" са неясни имена на хора. От израз "някой първо да достигне Южния полюс," вярно твърдение се получава чрез заместване на името "Амундсен" и фалшиво чрез заместване на името "Scott". Използването на променливи не е толкова различават съществено, затова някои проекти на обикновен език.

П. е. твърдение може да се получи не само чрез промяна на променливите постоянно, но с помощта на quantifiers. По този начин, изразът "х е баща на база", като се използва quantifiers "всички" и "някои" ( "там"), можете да получите вярна представа "за всеки у съществува х, който е баща на ш" ( "Всеки човек има баща" ) или невярно твърдение "Има баща на всички в" ( "Има един човек, който е баща на всички").

Терминът "PF". влезе в логиката на англичаните. философ и логик Бъртранд Ръсел (1872-1970).