存在量化
此条目需要补充更多来源. (2019年11月8日)
致使用者:请搜索一下条目的标题(来源搜索:"存在量化"  -  网页,新闻,书籍,学术,图像),以检查网络上是否存在该主题的更多可靠来源(判定指引).
"∃"重定向至此.关于倒转的字母E,请见"Ǝ".关于日语中的片假名,请见"ヨ".
在谓词逻辑中,存在量化是对论域内至少一个成员的性质或关系的论断.在符号逻辑中,存在量词"∃"是用来指示存在量化的符号.
它相对于声称某些谓词对所有事物都为真的全称量化.
基础[编辑]
要表达"某些自然数自乘得25"这个命题,一种方式是:
0 × 0 = 25 {\displaystyle 0\times 0=25} ,或 1 ×