Existenskvantifikator
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-06) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Existenskvantifikator eller Existenskvantor är ett begrepp inom predikatlogiken.
Beteckning: ∃.
Satsen "Det finns minst ett x för vilket predikatet P(x) gäller" skrivs
Negationen av en existenskvantifierad sats ger en allkvantifierad sats, negationen av "det finns minst en vit korp" är "alla korpar är icke-vita":
Se även
Media som används på denna webbplats
Författare/Upphovsman: Tkgd2007, Licens: CC BY-SA 3.0
A new incarnation of Image:Question_book-3.svg, which was uploaded by user AzaToth. This file is available on the English version of Wikipedia under the filename en:Image:Question book-new.svg