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