离散数学 重言式与矛盾2020-03-05半瓶木阅读(2669)评论(0)赞(1)本文概述 重言式 矛盾 偶然性 重言式 如果命题P在所有情况下都是正确的, 则它是一个重言式。这意味着它在真值表的最后一列中包含唯一的T。 示例:证明(p⟶q)↔(〜q⟶〜p)是重言式。 解决方案:制作上述语句的真值表: p q p→q ~...