Wikipédia

„Kvantor (logika)” változatai közötti eltérés

Laptörténet interaktív böngészése
[ellenőrzött változat][ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
a ezt hagyjuk meg az angoloknak
34. sor:
A kvantorok szándékolt jelentése a következő.
=== Univerzális kvantor ===
[[Kép:Kutyak1Univerzális kvantor ábrázolása.png|jobbra|250px|bélyegkép|(B) igazságfeltétele, hogy akármelyik kutya fekete vagy fehér legyen, tehát (A)-ból, az egyszínű kutyák feltételéből következik (B). (B) szerint azonban előfordulhat, hogy vannak fekete és vannak fehér kutyák is, így (B)-ből nem következik (A).]]
:<math>(\forall x)A\,</math> – „minden A tulajdonságú”,
azaz ha az ''A'' formula tartalmazza az ''x'' változót, akkor akármit ''x'' helyére helyettesítve, az így nyert formula igaz lesz. (Ha nem tartalmazza ''A'' az ''x''-et, akkor (∀x)''A'' elvileg nem különbözik ''A''-tól.)
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Kvantor_(logika)”