| dbo:abstract
|
- Az univerzális kvantifikáció az a logikai operátor (speciális kvantor), mely a „minden”, „bármely”, „összes” természetes nyelvi szavaknak feleltethető meg valamely formális nyelven belül. Univerzális kvantor szerepét töltik be például az alábbi mondatokban a dőlt betűs szavak: „Minden ember halandó.”„Ezügyben érdeklődhet bármelyik munkatársunknál.”„A gyerek az összes tojást összetörte.” Az említett szavak akkor válnak univerzális kvantorrá, ha a mondatokat egy formális nyelv kifejezéseiből állítjuk össze, például ekképpen: ha φ(x) jelentése az, hogy „x halandó”, akkor (∀x)φ(x) jelentése „Minden ember halandó.” Itt (∀x)φ(x)-t úgy mondjuk ki, hogy „minden x-re fí-x” és a szimbólum az univerzális kvantifikáció jele. (hu)
- Az univerzális kvantifikáció az a logikai operátor (speciális kvantor), mely a „minden”, „bármely”, „összes” természetes nyelvi szavaknak feleltethető meg valamely formális nyelven belül. Univerzális kvantor szerepét töltik be például az alábbi mondatokban a dőlt betűs szavak: „Minden ember halandó.”„Ezügyben érdeklődhet bármelyik munkatársunknál.”„A gyerek az összes tojást összetörte.” Az említett szavak akkor válnak univerzális kvantorrá, ha a mondatokat egy formális nyelv kifejezéseiből állítjuk össze, például ekképpen: ha φ(x) jelentése az, hogy „x halandó”, akkor (∀x)φ(x) jelentése „Minden ember halandó.” Itt (∀x)φ(x)-t úgy mondjuk ki, hogy „minden x-re fí-x” és a szimbólum az univerzális kvantifikáció jele. (hu)
|
