关于命题的赋值，成真赋值，成假赋值，重言式，矛盾式，可满足式的解释。。。

Question

如题所述

Answer 1

给命题每个变量赋值为0或者1后，按照命题联结词的定义，就可以得出整个命题的值是0还是1，这就是命题的赋值；
给命题赋值后，有些赋值是使命题为0的（为假）就是成假赋值、有些赋值是使命题为1的（为真）就是成真赋值；
不管命题变项怎么赋值这个公式都为1的（为真），这个公式就叫重言式，也叫永真式；
不管命题变项怎么赋值这个公式都为0的（为假），这个公式就叫矛盾式，也叫永假式；
至少有一种赋值使命题为1的公式就叫做可满足式，要注意重言式是可满足式，但是可满足式不一定是重言式哟。