“¬”否定。
“∧”合取。
“∨”析取。
这都是逻辑连接词，一般数理逻辑或元数学的书中会出现这些。这些符号是用来连接两个命题的（否定不是）。否定+命题，意思就是否定命题1+合取+命题2，就是两个命题同时成立.命题1+析取+命题2，就是两个命题至少有一个成立。
