四、 蕴涵词→ 　　蕴涵词"→"也是个二元命题联结词。将两个命题P、Q联结起来, 构成一个新的命题P→Q, 读作如果P则Q, 或读作P蕴涵Q, 如果P那么Q, 其中P称前件(前项、条件), Q称后件(后项、结论)。 　　规定只有当P为T而Q为F时, P→Q = F。而P = F、Q任意, 或P = T、Q = T时P→Q均取值为T。真值表见图1.2.4。 　　引入→的目的是希望用来描述命题间的推理, 表示因果关系。 　　图1.2.4说明了: 　　P→Q = T下, 若P = T必有Q = T, 而不会出现Q = F, 这表明P→Q体现了P是Q成立的充分条件。 　　P→Q = T下, 若P = F可有Q = T, 这表明P→Q体现了P不必是Q成立的必要条件。 　　使用P→Q能描述推理。即P→Q为真时, 只要P为真必有Q真, 而不能出现P真而Q假就够了。至于P为假时, Q取真取假, 并不违背P为真时Q必真。从而仍可规定P为假时, P→Q取真。这当然只是对P→Q的一种说明, 而从逻辑上说, 本可按真值表定义P→Q, 可不必涉及具体含义。另外, 当P = F时对P→Q真值的不同定义方式将给推理的讨论带来不同的表示形式, 也是允许的。 　　图1.2.5是P∨Q的真值表, 显然图1.2.4同1.2.5是相同的, 在P、Q的所有取值下, P→Q同P∨Q都有相同的真值, 于是可记作 P→Q = P∨Q 　　(真值相同的等值命题以等号联结)。这也说明→可由、∨来表示, 从逻辑上看"如果P则Q"同"非P或Q"是等同的两个命题。 　　蕴涵词→与自然用语"如果……那么……"有一致的一面，可表示因果关系。然而P、Q是无关的命题时,逻辑上允许讨论P→Q。并且P = F则P→Q = T, 这在自然用语中是不大使用的。