与

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

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

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

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

1相关概念

术语翻译

与 (名词) • 英文 conjunction • 德文 Konjunktion (f) • 法文 conjonction (f)

与 (连词) • 英文 and • 德文 und • 法文 et