Wel*_*bog 52
它被称为量词.这意味着"存在".
在诸如表达式中使用时
?x s.t. x > 0
它的意思是"存在一个数x,使得x大于0"
它的对应物是∀,意思是"为所有人".它的使用方式如下:
?x, x > 0
这意味着"对于任何数字x,它大于0".
jas*_*son 11
它是"存在量词"而不是倒置A(∀),意思是"通用量词".它应该被理解为"存在"或"为某些人".这是一种预测,意味着某些关系或属性适用于域中的至少一个对象.
例子:
n如果是?整数m,则整数是复合的,m > 1并且m < n可以n被整除m.
如果是整数,n则整数是素?数m,m > 1并且m < n它是真的,n不能被整除m.
函数f是一个度量空间连续(X, d)如果?x??>0??>0 | ?y d(x, y) < ? => d(f(x), f(y)) < ?