A就是all,倒过来作符号,表示所有的避免雷同。E就是exist,反过来做符号表示存在,同样是为了避免雷同。
“∀”的来源是all的首字母A,“∃”的来源是exist的首字母E,分别表示任意和存在。
存在量词的“否”就是全称量词。
“实数的平方是正数”,就是“对任意一个实数x,x的平方是正数”,所以写成(用Any表示全称量词的符号):
Any x∈R (x² > 0).
那么它的否命题就是:
┌ ( Any x∈R (x² > 0) ).
把否定符┌分配进去,注意┌Any = Exist,即有
Exist x∈R (x² ≤ 0).
也就是“存在一个实数x,x的平方是非正数”。
扩展资料:
例如:
(1)只要三角形的任何一个内角是直角,那么该三角形就是直角三角形。
(2)有些平行四边形是菱形。
(3)有的质数不是奇数。
常见的存在量词还有“有些”、“有一个”、“对某个”、“部分”等。
特称命题“存在M中的一个x,使p(x)成立”。简记为:∃x ∈ M,p(x)。
读作:存在一个x属于M,使p(x)成立。
参考资料来源:百度百科-存在量词
A就是all,倒过来作符号,表示所有的避免雷同。E就是exist,反过来做符号表示存在,同样是为了避免雷同。
很多符号应该是首先由某些数学家为了使数学过程得到简化独创的,后来随着应用普及得到推广,渐渐成为一种规范了。
这是规定,数学符号的发明和使用比数字晚,但是数量多得多。现在常用的有200多个,初中阶段经常使用的就有至少20多个。用数学符号表示比较简便和全面。
Aall倒作符号表示所避免雷同Eexist反做符号表示存同避免雷同
符号应该首先由某些数家使数程简化独创随着应用普及推广渐渐种规范