funcţia propozițională
- funcție a cărei domeniu de situații care au definit
valoare de adevăr. În structura sa, P. f. similar cu propozițiile gramaticale, dar diferă de acesta prin prezența variabilelor care se execută printr-un set de obiecte; P. f. atribuie aceste obiecte declarații.
Un exemplu de P. f. poate servi ca o expresie a „x este un număr prim.“ Având o formă propoziții gramaticale, nu este o declarație: Este imposibil să spunem că este adevărat sau fals, nu poate fi confirmată sau infirmată. Din această expresie prin înlocuirea variabilei x se obține printr-un număr de declarație. În cazul în care, în loc de un număr variabil substitut 11, pentru a primi o declarație adevărată, dacă 8 - fals. O expresie oarecum mai complexă care conține variabile și convertite prin înlocuirea acestor variabile constante în declarația, este formula x + y = 10.
În limbajul obișnuit, variabilele nu sunt găsite, dar sunt modele care le seamănă, de exemplu. „Cineva“ și „unii“ sunt nume vagi de oameni. De la expresia „Cineva mai întâi pentru a ajunge la Polul Sud,“ o afirmație adevărată este obținută prin substituirea denumirii „Amundsen“, și fals prin înlocuirea denumirii „Scott“. Utilizarea variabilelor nu este atât de semnificativ diferite, astfel încât unele modele de limbaj obișnuit.
P. f. declarație poate fi obținută nu numai prin schimbarea variabilelor constante, dar cu ajutorul cuantificatorilor. Astfel, expresia „x este tatăl lui y“, folosind cuantificatorii „toate“ și „unele“ ( „acolo“), puteți obține o declarație adevărată „pentru fiecare există y un x care este tatăl lui y“ ( „Fiecare om are un tată“ ) sau o declarație falsă „e tatăl tuturor celor din“ ( „Există un om care este tatăl tuturor“).
Termenul „PF.“ a intrat în logica limba engleză. filosof și logician Bertrand Russell (1872-1970).
↑ definiție excelentă
↓ definiție incompletă