三、 析取词∨

  析取词"∨"是个二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∨Q, 读作P、Q的析取, 也读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系, 由析取词真值表图1.2.3来规定。

  图1.2.3指出, 当P、Q有一取值为T时, P∨Q便为T。仅当P、Q均取F值时, P∨Q方为F。这就是析取词的定义, P∨Q可用来表示自然用语P或Q。