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 El Mexicano átnevezte a(z) Kvantor lapot a következő névre: Kvantor (logika): Külön cikk lesz a nyelvtani jelentéséről is
JWbot (vitalap | szerkesztései)
10 914 szerkesztés
a WPCleaner v1.34b - Fixed using WPM:E ([016] Unicode vezérlőkarakterek sablonokban)
33. sor:
A kvantorok szándékolt jelentése a következő.
=== Univerzális kvantor ===
[[Kép:Kutyak1.png‎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.)
50. sor:
 
=== Egzisztenciális kvantor ===
[[Kép:Hopelyhek.png‎png|jobbra|250px|bélyegkép|(B)-ből következik (A). (A)-ból viszont nem következik (B), mert (A) akkor is igaz lehet, ha külön van nem piros ötágú hópehely és van nem ötágú piros hópehely, míg (B) csak akkor igaz, ha egy hópehelyre mindkét tulajdonság (piros, ötágú) igaz.]]
:<math>(\exists x)A\,</math> – „van A tulajdonságú dolog”,
azaz ha az ''A'' formula tartalmazza az ''x'' változót, akkor bevezethetünk gy új ''t'' jelet, melyet az ''x'' helyére helyettesítve az így nyert ''A''( ''t'') 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)”