否定连接词

“非”是一元逻辑连接词。对于任何命题$P$，$P$的否定表示$\neg P$，$\neg P$也读为“not”$P$。

$$v(\neg B)=\{\begin{array}{cccc}1& & & \text{if }v(B)=0\\ 0& & & \text{其它.}\end{array}$$