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