“非”和“否”是一个意思,表示的都是“命题的否定”。它们多种表示方法:
字母上面加横线;
~p;
¬p;
第一种适合手写,在电脑上一般用后两种——第一种没法输入。不过它们最大的区别还不在此,而在所使用的领域。因为
形式逻辑在其他领域都有相关的理论,比如
集合论、逻辑代数、数理逻辑等。它们各自发展,都有一套属于自己的符号。但因为这些理论本质相通,所以它们的符号功能都是对应的。比如:集合中的“并集”符号——“∪”、数理逻辑中的“析取”符号——“∨”,以及逻辑代数中的“逻辑加”符号——“+”,它们使用领域不同,但本质一样。
至于“命题”,它在
逻辑学中还有另一种叫法——“判断”。由此可知,命题一定是表示判断的句子,所以一般都是
陈述句。疑问句、感叹句、祈使句,一般都不当作命题。