1、数学里有两种。
2、一种是表示平均数。
3、一种是表示数。
4、在经济学中，字母上面没有一杠仅仅表示一个变量，
而这个变量可以取任何数值，如果字母上有一杠，表示一个特定值。
5、第一种适合手写，在电脑上一般用后两种——第一种没法输入。
不过它们最大的区别还不在此，而在所使用的领域。
因为形式逻辑在其他领域都有相关的理论，比如集合论、逻辑代数、数理逻辑等。
它们各自发展，都有一套属于自己的符号。但因为这些理论本质相通，
所以它们的符号功能都是对应的。比如：集合中的“并集”符号——“∪”、
数理逻辑中的“析取”符号——“∨”，以及逻辑代数中的“逻辑加”符号——“+”，
它们使用领域不同，但本质一样。
6、至于“命题”，它在逻辑学中还有另一种叫法——“判断”。
由此可知，命题一定是表示判断的句子，所以一般都是陈述句。