全称量化 在谓词逻辑中全称命题是对论域内所有成员的性质或关系的论断结果的陈述在符号逻辑中全称量词是用来指示全称量化的符号 与它相对的表示至少一个事物为真的量词为存在量词