Propozicionális funkciója az, hogy az ilyen propozicionális függvénydefiníciónak
propozicionális funkció
- függvény, amelynek hatótávolsága nyilatkozatok, amelyek meghatározott
igazság érték. A struktúrájában, P. f. hasonló nyelvtani mondat, de különbözik az utóbbi jelenléte által változók végigmenni néhány sor tárgyak; P. f. rendel ezekhez az objektumokhoz nyilatkozatokat.
Egy példa a P. f. szolgálhat egy kifejezés a „x prímszám”. Miután a forma nyelvtani mondat, ez nem egy nyilatkozatot: Lehetetlen megmondani, hogy ez igaz-e vagy hamis, azt nem lehet bizonyítani vagy cáfolni. Ebből kifejezést felváltva az x változó nyert számos nyilatkozatot tesz. Ha ahelyett, változó helyettesítő 11. szám kap egy igaz állítás, ha 8 - hamis. Egy valamivel bonyolultabb expressziós tartalmazó változók és átváltandó cseréje ezeket a változókat állandó a kimutatás, a képlet x + y = 10.
A köznyelv, a változók nem találtak, de vannak tervek, amelyek hasonlítanak rájuk, például. „Valaki”, és „néhány” homályosak emberek neveit. A kifejezést „Valaki először éri el a Déli-sarkra,” igaz állítás úgy kapjuk meg, hogy ebben az esetben a neve „Amundsen”, és hamis helyettesítve a neve „Scott”. A változók használatával nem olyan jelentős mértékben eltér egymástól, ezért néhány terveket a köznyelv.
P. f. nyilatkozatot lehet beszerezni nem csak a változók megváltoztatásával állandó, de a segítségével kvantorokat. Így az „x az apa y” segítségével kvantifikátorok „minden”, és „néhány” ( „ott”), akkor kap egy igaz állítás „minden y létezik olyan x, hogy az apja y” ( „Minden embernek van egy apa” ), vagy hamis állítás „van az apja minden in” ( „van egy ember, aki az apja mindenkinek”).
A „PF”. lépett a logikája az angol. filozófus és logikus Bertrand Russell (1872-1970).
↑ Kiváló felbontású
Hiányos meghatározás ↓