第二?/p>
命题逻辑
§2
.2
主要解题方法
2.2.1
证明命题公式恒真或恒?/p>
主要有如下方法:
方法一
.
真值表方法。即列出公式的真值表,若表中?/p>
应公式所在列的每一取值全?/p>
1
,这说明该公式在它的所?/p>
解释下都是真,因此是恒真的;若表中对应公式所在列的每