“唯一量词”的版本历史

2025年12月19日 (星期五)

• 当前之前 16:472025年12月19日 (五) 16:47 Gsxab 留言 贡献 2,679字节 +307 无编辑摘要
• 当前之前 16:402025年12月19日 (五) 16:40 Gsxab 留言 贡献 2,372字节 +1,104 无编辑摘要

2023年6月23日 (星期五)

• 当前之前 13:432023年6月23日 (五) 13:43 Gsxab 留言 贡献 1,268字节 +1,268 创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=唯一量词 |eng_name=uniqueness quantifier |aliases=存在唯一量词,uniqueness existential quantifier }} '''唯一量词'''('''uniqueness quantifier''')是量词的一种，包括相当于自然语言中的“有且仅有（唯一）一个……满足……”。 == 定义 == 命题中，表达“存在唯一一个不同的……使得……”的含义的量词，记作 <math>\exists!</math> 。 比如，对 <…”