| dbo:abstract
|
- Alapkifejezésnek (angolul ground expression) a matematikai logikában egy azon kifejezéseit (termjeit és formuláit) nevezzük, melyek nem tartalmaznak logikai változókat. A fogalom elsősorban az elsőrendű nyelvek elméletében fordul elő (a formulái alapból nem tartalmaznak logikai változókat, mivel maguk a nulladrendű nyelvek sem tartalmaz ilyeneket). Megjegyezzük, hogy az elnevezés félreérthető, mert „kifejezésen” sokak által elfogadott szóhasználat szerint csak a nyelv termeit szoktuk érteni, a formulákat nem; holott az alapkifejezésekbe a formulák egy részét (az ún. alapformulákat) is beleértjük. Szemléletesen e fogalmat valahogy úgy képzelhetjük el, hogy az alapkifejezések írják le a „konkrét”, a „rögzített” objektumokat és a róluk szóló (igaz vagy hamis) állításokat a nyelvben, míg a többi, nem-alapkifejezés inkább valami általánosságot vagy határozatlanul eldönthető állítást ír le. De hangsúlyozzuk, ez csak egy nem precíz, köznapi, elmosódott interpretálása a fogalomnak. A pontosabb és formális definíciót lásd . (hu)
- Alapkifejezésnek (angolul ground expression) a matematikai logikában egy azon kifejezéseit (termjeit és formuláit) nevezzük, melyek nem tartalmaznak logikai változókat. A fogalom elsősorban az elsőrendű nyelvek elméletében fordul elő (a formulái alapból nem tartalmaznak logikai változókat, mivel maguk a nulladrendű nyelvek sem tartalmaz ilyeneket). Megjegyezzük, hogy az elnevezés félreérthető, mert „kifejezésen” sokak által elfogadott szóhasználat szerint csak a nyelv termeit szoktuk érteni, a formulákat nem; holott az alapkifejezésekbe a formulák egy részét (az ún. alapformulákat) is beleértjük. Szemléletesen e fogalmat valahogy úgy képzelhetjük el, hogy az alapkifejezések írják le a „konkrét”, a „rögzített” objektumokat és a róluk szóló (igaz vagy hamis) állításokat a nyelvben, míg a többi, nem-alapkifejezés inkább valami általánosságot vagy határozatlanul eldönthető állítást ír le. De hangsúlyozzuk, ez csak egy nem precíz, köznapi, elmosódott interpretálása a fogalomnak. A pontosabb és formális definíciót lásd . (hu)
|
