格式：PPT ? 页数：45 ? 上传日期： 08:31:15 ? 瀏览次数：4 ? ? 3000积分 ? ? 用稻壳阅读器打开
全文阅读已结束如果下载本文需要使用
重言式 重言式与矛盾式 ?一个公式如果不论其中的命题变元取何真 值这个公式本身都为真，那么就称这个 公式为重言式（tautology）或恒真式。 ?一个公式如果不论其中的命題变元取何真 值这个公式本身都为假，那么就称这个 公式为矛盾式（contradiction ）或恒 假式。 例子 ?重言式： ? p ∨?p ? (p →p) ?矛盾式： ? p ∧?p ? ?(p →p)