全称量化
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
Article · 中文
在谓词逻辑中，全称命题是对论域内所有成员的性质或关系的论断结果的陈述。在符号逻辑中，全称量词∀是用来指示全称量化的符号。 与它相对的，表示至少一个事物为真的量词为存在量词。
Abstract from DBpedia / Wikipedia · CC BY-SA