《表1 p∨q与p q的真值表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《选言命题辨析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

在逻辑学教材中，例如在本文提及的文献[1]、[4]、[5]和[12]中，相容析取命题通常被表示为p∨q，不相容析取命题则被表示为p q。这两个联结词符号∨和源于拉丁语。“拉丁语词vel指谓弱的或相容的析取，aut对应强的或不相容意义上的‘或’。习惯上用vel的第一个字母来代表弱的、相容意义上的‘或’”[11]，而相应稍加变通地用表示强的、不相容意义上的“或”。按照相容选言命题的定义，相容选言命题的逻辑特征是，一个相容选言命题为真，当且仅当该相容选言命题至少一个选言支为真。同样，按照不相容选言的定义，不相容选言命题的逻辑特征是，一个不相容选言命题为真，当且仅当该不相容选言命题有且只有一个选言支为真。[12]因此，在逻辑学教材中，例如在刚才提及的几种文献中，相容选言命题和不相容选言命题的逻辑特征被用真值表刻画为表1，其中表中的1表示真，0表示假。