Funcția propozițională - este

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).

Vezi ce o „funcție propozițională“ în alte dicționare:

Funcția propozitionala - a se vedea Art .. Predicatului. Filozofic dicționar enciclopedic. M. sovietic Enciclopedia. Ch. Editorial: L. F. Ilichov, P. N. Fedoseev, S. M. Kovalov, V. G. Panov. 1983 ... Enciclopedia de Filosofie

Funcția propozițională - vezi predicatului .. * * * Funcția propozițiilor funcția propozitiilor, vezi. Predicatul (a se vedea. Un predicat (în logica)) ... Collegiate dicționar

Funcția propozițională - argumentele și valorile funcției sunt la roiul valori de adevar. Acest termen este utilizat atunci când este vorba de interpretarea logică formalizate. limbă. În cazul în care W este un set de valori de adevăr formule ale limbii, PF. este orice ... ... Enciclopedia de Matematică

Propozitia (funcția propozitional) - expresia unui termen vag (variabilă), alegerea valorilor specifice pentru acești termeni sunt convertite în semnificative (adevărat sau fals) Declarație ... Sociologie: Dicționar

logica propozitiilor - logica declarațiilor (sau logica propozitiilor) este o teorie formală, al cărei obiect principal este conceptul de declarații logice. In termeni de exprimare, poate fi caracterizată ca o logică de ordinul zero clasic. ... ... Wikipedia

logica propozitiilor - logica propozitiilor, secțiunea logică propozițională a logicii simbolice, studiind expresii complexe formate din simplu, și relațiile lor. În contrast, logica predicatelor, declarații simple în acest act ca ... ... Enciclopedia de epistemologie și filosofia științei

Funcția - (. de la punerea în aplicare latină functio, execuție) corespondența dintre variabilele x și y, în care fiecare valoare a lui x (variabila independentă, argumentul) este asociată numai o singură valoare a lui y (dependentă ... ... Dicționar de logica termenilor

raportul - (logic) este identificat cu predicat multicavity. Predicate sunt împărțite în obiecte de proprietăți relevante, și multi (n duble, triple sau chiar locale, unde n. 2) unic, care corespunde A. În acest caz, predicate logica ... ... Dicționar de termeni

Raportul (logica) - În acest termen, există alte utilizări, a se vedea atitudine .. Raportul în logica de ordinul argumental două sau mai multe predicate (predicat multiman), două sau mai multe proprietăți predicat. Conotatie: R. [clarifica] În ceea ce privește relația ... ... Wikipedia