全称量化
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 · 日本語
全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である。通常「∀」と表記され、全称量化子（ぜんしょうりょうかし）、全称限量子（ぜんしょうげんりょうし）、全称限定子（ぜんしょうげんていし）、普遍量化子（ふへんりょうかし）、普通限定子（ふつうげんていし）などとも呼ばれる。
Abstract from DBpedia / Wikipedia · CC BY-SA