存在量化 在谓词逻辑中存在量化是对论域内至少一个成员的性质或关系的论断在符号逻辑中存在量词是用来指示存在量化的符号 它相对于声称某些谓词对所有事物都为真的全称量化