Forslag (logik)

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 26. februar 2016; verifikation kræver 1 redigering .

En sætning (i prædikatlogik ) er en velformet formel , der ikke indeholder nogen frie forekomster af variabler (det vil sige forekomster, der ikke er inden for rammerne af nogen kvantifier i ). Groft sagt må sætningen ikke indeholde "parametre", der kan påvirke sætningens sandhedsværdi i den underforståede "semantiske struktur": Således har sætningen i hver sådan struktur den eneste mulige sandhedsværdi. $\Phi$ $\Phi$

Eksempler

Udtryk

\foral y\eksisterer x(x^{2}=y)

er en sætning, fordi den har en fast sandhedstabel. For enhver værdi kan du bestemme sandheden af dette udtryk, en bundet variabel. Tværtimod udtrykket $y$ $y$

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

er ikke en sætning, da her er en fri variabel. For dette udtryk er det umuligt at konstruere en sandhedstabel, da der ikke er pålagt begrænsninger for y. $y$

Litteratur

Lavrov I. A. , Maksimova L. L. - Problemer i mængdeteori, matematisk logik og teori om algoritmer.
Kleene S. — Matematisk logik.