命题逻辑28个公式(命题逻辑例题)

命题逻辑（二十八）

真值形式的判定（二）——真值表法

其步骤是：

（1）找出该公式中所有不同的命题变项，并竖行列出它们之间所有可能的真值组合。

当一个公式含有n个不同的命题变项时，由于每一命题变项都有2个可能的真值：真或假，全部可能的真值组合就有2n次方种。

（2）按照该公式的生成次序，由简单到复杂横行列出该公式的所有子公式，直至该公式本身。

（3）按照上面给定的真值联结词的真值表，由命题变项的真值逐步计算出各个子公式的真值，直至该公式本身的真值。

若该公式恒取值为真，则它为重言式；若它恒取值为假，则它为矛盾式；若它有时取值为真、有时取值为假，则它为偶真式。

例如：判定 (p→q)∧p→q 是否为重言式

温馨提示：通过以上关于命题逻辑（二十八）内容介绍后，相信大家有新的了解，更希望可以对你有所帮助。