或

在逻辑学中, 或是逻辑连接词的一种, 常记为 $\vee$.

在经典的命题逻辑中, 对命题 $p,q$ 而言, 命题 $p\vee q$ (读作 “$p$ 或 $q$”) 是指 $p,q$ 其中之一成立. 换言之, 有以下的真值表:

$\text{p}$	$\text{q}$	$\text{p∨q}$
真	真	真
真	假	真
假	真	真
假	假	假

在类型论–范畴论–逻辑学类比下, 或运算对应于无交并类型、无交并空间等运算. 大致而言, 说两个类型或空间的无交并非空, 即是说原来两个类型或空间之一非空.

1相关概念

术语翻译

或 (名词) • 英文 disjunction • 德文 Disjunktion (f) • 法文 disjonction (f)

或 (连词) • 英文 or • 德文 oder • 法文 ou