永真式、永假式与可满足式的区别

永真式、永假式与可满足式的区别

（1）不依赖于命题变元的真值指派，而总是取值为 T（即 1）的命题公式，称为永真式或称作重言式。

（2）不依赖于命题变元的真值指派，而总是取值为F（即0）的命题公式，称为永假式或矛盾式。

（3）至少存在一组真值指派使命题公式取值为T的命题公式，称为可满足的。