搜索
Existential operator
01
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
下载应用程序
Download Mobile App
搜索
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true