1.1.2　逻辑符号

逻辑学是研究思维形式和思维规律的科学，也就是研究推理的科学.数学就是一门推理科学，所以在对数学概念和命题的论述中，经常会使用一些逻辑符号.以下介绍四种在高等数学中常用的逻辑符号.

（1）符号“∀”表示“对任意给定的（foranygiven）”，它是Any这个英语单词首字母的倒写.

（2）符号“∃”表示“存在（exist）”，它是Exist这个英语单词首字母的反写.

例如，命题“对任意给定的实数x，存在另一个实数y，使得x+y＝0”.可用逻辑符号表述为：∀x∈R，∃y∈R，使得x+y＝0.

（3）符号“⇒”表示“蕴含着”或者“推导出”.(https://www.daowen.com)

例如，命题“若a＞b，b＞c，则有a＞c”，用逻辑符号可以表述为

a＞b,b＞c⇒a＞c

（4）符号“⇔”表示“等价于”或者“充要条件是”.

例如，命题“{x|x2-2＝0}等价于”，用逻辑符号可以表述为