Förslag (logik)

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 26 februari 2016; verifiering kräver 1 redigering .

En mening (i predikatlogik ) är en välformad formel som inte innehåller några fria förekomster av variabler (det vill säga förekomster som inte är inom ramen för några kvantifierare i ). Grovt sett får meningen inte innehålla "parametrar" som kan påverka meningens sanningsvärde i den underförstådda "semantiska strukturen": alltså har meningen i varje sådan struktur det enda möjliga sanningsvärdet. $\Phi$ $\Phi$

Exempel

Uttryck

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

är en mening, eftersom den har en fast sanningstabell. För vilket värde som helst kan du bestämma sanningen i detta uttryck, en bunden variabel. Tvärtom uttrycket $y$ $y$

\existerar x(x^{2}=y)

är inte en mening, eftersom här är en fri variabel. För detta uttryck är det omöjligt att konstruera en sanningstabell, eftersom inga begränsningar är pålagda för y. $y$

Litteratur

Lavrov I. A. , Maksimova L. L. — Problem i mängdteori, matematisk logik och teori för algoritmer.
Kleene S. — Matematisk logik.