Sugestie (logica)

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 26 februarie 2016; verificarea necesită 1 editare .

O propoziție (în logica predicatelor ) este o formulă bine formată care nu conține apariții libere de variabile (adică apariții care nu se află în domeniul de aplicare al niciunui cuantificatori în ). În linii mari, propoziţia nu trebuie să conţină „parametri” care pot afecta valoarea de adevăr a propoziţiei în „structura semantică” implicită: astfel, în fiecare astfel de structură, propoziţia are singura valoare de adevăr posibilă. $\Phi$ $\Phi$

Exemple

Expresie

\forall y\exists x(x^{2}=y)

este o propoziție, deoarece are un tabel de adevăr fix. Pentru orice valoare , puteți determina adevărul acestei expresii, o variabilă legată. Dimpotrivă, expresia $y$ $y$

\există x(x^{2}=y)

nu este o propoziție, deoarece aici este o variabilă liberă. Pentru această expresie, este imposibil să se construiască un tabel de adevăr, deoarece nu sunt impuse restricții asupra lui y. $y$

Literatură

Lavrov I. A. , Maksimova L. L. — Probleme în teoria mulțimilor, logica matematică și teoria algoritmilor.
Kleene S. — Logica matematică.