或逻辑连接词

或逻辑是一种关联的二元逻辑连接词，如果它所关联的命题中有一个为真，那么它命题的值为真。

定义

$$v(A\vee B)=\{\begin{array}{cccc}0& & & \text{if }v(B)=0\text{ and }v(A)=0\\ 1& & & \text{otherwise.}\end{array}$$

真值表