allkvantifikator
Sign in to saveAlso known as for every, for all, given any, for any, any
logical quantification stating that a statement holds for all objects
Wikidata facts
- Subclass of
- quantifier
- Image
- Universal-quantification.svg
Show 4 more facts
- opposite of
- existential quantification
- Commons category
- Universal quantification
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- logic
Sources (1)
via Wikidata · CC0
Article · Svenska
Allkvantifikator eller allkvantor är ett begrepp inom predikatlogiken. Den brukar symboliseras med ett upp- och nedvänt A Satsen "För alla x gäller predikatet P(x)" skrivs Negationen av en allkvantifierad sats ger en existenskvantifierad sats: Låt predikatet P(x) vara meningen 'Person x har en mamma.' Påstendet att varje person har en mamma kan skrivas med allkvantorn som: Negationen av påståendet "Alla korpar är svarta." är påståendet "Det finns minst en korp som inte är svart.":
Abstract from DBpedia / Wikipedia · CC BY-SA