| dbo:abstract
|
- A matematikai logikában közelebbről a modellelméletben típuson egy elsőrendű nyelv x1, x2, …, xn változósorozatát tartalmazó adott formulaosztályát értjük, mely különböző mellékfeltételeknek tesz eleget. Egy típussal kapcsolatban a leggyakoribb kérdés, hogy a nyelv egy modellje mikor valósítja meg (realizálja), azaz A-ban a változók alkalmas értékelésével egyszerre igazzá tehető-e a típus összes eleme és mikor hagyja ki (kerüli el), azaz mikor lehetelen kielégíteni egyszerre a típus összes elemét. Ez utóbbi esetre adnak elégséges feltételt a típuselkerülési tételek. (hu)
- A matematikai logikában közelebbről a modellelméletben típuson egy elsőrendű nyelv x1, x2, …, xn változósorozatát tartalmazó adott formulaosztályát értjük, mely különböző mellékfeltételeknek tesz eleget. Egy típussal kapcsolatban a leggyakoribb kérdés, hogy a nyelv egy modellje mikor valósítja meg (realizálja), azaz A-ban a változók alkalmas értékelésével egyszerre igazzá tehető-e a típus összes eleme és mikor hagyja ki (kerüli el), azaz mikor lehetelen kielégíteni egyszerre a típus összes elemét. Ez utóbbi esetre adnak elégséges feltételt a típuselkerülési tételek. (hu)
|
