„Kvantor (logika)” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Fmvh (vitalap | szerkesztései) a link |
|||
50. sor:
=== Egzisztenciális kvantor ===
[[Kép:Hopelyhek.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.)
|