对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是不可满足的。
举一反三
- 对于公式P ®(Q∨R)，如果对P，Q和R的指派分别为F，T，F，则公式的真值为___________；如果对P，Q和R的指派分别为T，F，F，则公式的真值为_____________。 公式(P®Q)«(ØP∨Q)为______________式。
- 命题公式G=（P∧Q）→R，则G共有____个不同的解释；P，Q，R解释依次是（0，1，0）则G的真值为 ____ 。
- 命题公式G=（P∧Q）→R，则G共有____个不同的解释；把G在其所有解释下所取真值列成一个表，称为G的 ____ ；P，Q，R解释依次是（0，1，0）则G的真值为 ____ 。
- 论域D={1,2}，指定谓词P，P(1)=T，P(2)=F，公式(∀x) P(x)的真值是______。
- 对于谓词公式P和Q,若P→Q永真,则称__1__