离散数学课件16重言式与重言蕴涵.ppt

1-4重言式与重言蕴涵式;2.重言式(矛盾式)定义

A(P1,P2,…,Pn)是含有命题变元P1,P2,…,Pn的命题公式，如不论对P1,P2,…,Pn作任何指派，都使得A(P1,P2,…,Pn)为真(假)，则称之为重言式(矛盾式),也称之为永真式(永假式)。

3.重言式的证明方法

方法1：列真值表。

方法2：公式的等价变换，化简成“T”。

方法3：用公式的主析取范式。

其中方法2和方法3我们在以后讨论。;方法1.列真值表。

例如，证明(P∧(P?Q))?Q为重言式.

PQP?QP∧(P?Q)(P∧(P?Q))?Q

FFTFT

FTTFT

TFFFT

TTTTT

永真式的真值表的最后一列全是“T”。;4.永真式的性质

1).如果A是永真式，则?A是永假式。

2).如果A，B是永真式，则(A∧