„Kvantor (logika)” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Elírás |
a Elírás |
||
53. sor:
[[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
Például:
:(∃x)(x < 2) jelentése: „létezik 2-nél kisebb szám”,
|