Javaslat (logika)

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt hozzászólók, és jelentősen eltérhet a 2016. február 26-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

A mondat ( predikátumlogikában ) egy jól formált képlet , amely nem tartalmaz változók szabad előfordulásait (vagyis olyan előfordulásokat, amelyek nem tartoznak a kvantorok körébe ). Nagyjából elmondható, hogy a mondat nem tartalmazhat olyan "paramétereket", amelyek befolyásolhatják a mondat igazságértékét az implikált "szemantikai struktúrában": így minden ilyen szerkezetben a mondat rendelkezik az egyetlen lehetséges igazságértékkel. $\Phi$ $\Phi$

Példák

Kifejezés

\mindig y\létezik x(x^{2}=y)

egy mondat, mert van egy rögzített igazságtáblázata. Bármely érték esetén meghatározhatja ennek a kifejezésnek az igazságát, egy kötött változót. Éppen ellenkezőleg, a kifejezés $y$ $y$

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

nem mondat, mivel itt egy szabad változó van. Ehhez a kifejezéshez lehetetlen igazságtáblázatot készíteni, mivel y-ra nincs korlátozás. $y$

Irodalom

Lavrov I. A. , Maksimova L. L. - A halmazelmélet, a matematikai logika és az algoritmusok elméletének problémái.
Kleene S. – Matematikai logika.