五、 双条件词 双条件词" "同样是个二元命题联结词。将两个命题P、Q联结起来构成新命题PQ,
读作P当且仅当Q, 或读作P等值Q。这个新命题的真值与P、Q真值间的关系, 由双条件词的真值表图1.2.6来规定。图1.2.6指出, 只有当两个命题P、Q的真值相同或说P = Q时, P Q的真值方为T。而当P、Q的真值不同时,
PQ
= F。若建立(P→Q)∧(Q→P)的真值表, 就可发现(P→Q)∧(Q→P)和P Q有相同的真值,
于是(P→Q)∧(Q→P) = PQ |