来世

给命题的每个变量赋值0或1后，根据命题连接词的定义，可以得到整个命题的值是0还是1，这就是命题的赋值；

给命题赋值后，有的作业是任务标题为0的假作业，有的作业是任务标题为1的真作业。

无论命题变量如何赋值，这个公式都是1(真)，这叫重言式，也叫永恒真理；

无论命题变量如何赋值，这个公式都是0(假)，这个公式叫矛盾，也叫永远假；

至少有一个赋值任务为1的公式称为可满足性。需要注意的是，重言式是可满足性，但可满足性不一定是重言式。