重言式与矛盾式的主析取范式与主合取范式.DOCVIP

重言式与矛盾式的主析取范式与主合取范式。 1、先看下列简单的问题： 命题公式P→（Q→P）的主合取范式为 。 解：根据蕴涵词的意义，当P为假时，P→（Q→P）为真； 当P为真时，Q→P为真，因而P→（Q→P）为真，所以P→（Q→P）永远为真，即P→（Q→P）是一个重言式。P→（Q→P）中总共有两个命题变元P和Q，因而对应有 个不同的极大项，每个极大项对应着使得P→（Q→P）为假的一种赋值。现在P→（Q→P）不可能为假，所以P→（Q→P）的主合取范式中不能含有极大项，因而其主合取范式只能是一个不含极大项的空范式。我们约定：用1表示重言式的主合取范式。所以命题公式P→（Q→P