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

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

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

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

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

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

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

Вижте какво е "Пропозиционални функция" в други речници:

Пропозиционални функция - виж чл .. Предикати. Философски тълковен речник. М. съветски енциклопедия. Гл. Редакционната: L. F. Ilichov, P. Н. Fedoseev, S. М. Kovalov, В. G. Панов. 1983 ... Енциклопедия на философия

Пропозиционални функция - виж Предикатна .. * * * Пропозиционални функция Пропозиционални функция, вижте. Предикатът (вж. Предикат (в логиката)) ... академично издание на речника

Пропозиционални функция - аргументите на функцията и стойностите са с рояк истината ценности. Този термин се използва, когато става въпрос за тълкуване на формализирана логично. език. Ако W е набор от истината стойности на формулите на езика, ПФ. е всеки ... ... енциклопедия по математика

Твърдение (Пропозиционални функция) - израз на една неясна план (променлива), изборът на конкретни стойности за тези думи се превръщат в значим (вярно или невярно) изявление ... социология: речник

Пропозиционални логика - логиката на отчети (или Пропозиционални логика) е официалната теория, основният предмет на дейност е понятието за логически изрази. От гледна точка на изразяване, той може да се характеризира като класическата логика от нулев порядък. ... ... Wikipedia

Пропозиционални логика - Пропозиционални логика, Пропозиционални логика раздел на символична логика, изучаване сложни изрази, образувани от прости, както и техните взаимоотношения. За разлика от това, предикатна логика, прости изявления в този акт като ... ... Енциклопедия на епистемологията и философията на науката

функция - (. от латинската изпълнението functio, изпълнение) кореспонденцията между променливите х и у, в която всяка стойност на х (независима променлива, аргумент) е свързана само една стойност на у (в зависимост ... ... речник на логиката на термини

съотношение - (логика) се идентифицира с многократни предикат. Предикати са разпределени в единични, съответните обекти свойства и мулти (двойни, тройни или дори местния п, където п. 2), съответстващ на А. В този случай, предикати логиката ... ... речник на термините

Съотношението (логика) - В този мандат, има и други приложения, вижте отношението .. Съотношението в логиката от първи ред argumental две или повече предикат (multiman предикат), две или повече предикат собственост. Конотацията: R. [изясни] От гледна точка на връзката ... ... Wikipedia