什么是成假赋值

问题描述

精选答案

成假赋值是指对公式中的命题变元各指定一个真值，称为对公式的赋值或解释。

若指定的一组值是公式真值为1，称这组值为公式的成真赋值；

若指定的一组值是公式真值为0，称这组值为公式的成假赋值。

对于公式中命题变元的每一种可能的赋值，以及由它们确定出的公式真值所列成的表，称为该公式的真值表。

用归纳法不难证明，对于含有n个命题变元的公式，有2 个赋值，即在该公式的真值表中有2 行。

为方便构造真值表，特约定如下：

①将n个命题变元按字母序或下标序排列，列出2 个赋值，赋值从00…0开始，然后按二进制加法依次写出每个赋值，直到11…1为止。

②若公式较复杂，可先列出各子公式的真值（若有括号，则应从里层向外层展开）。

③最后列出所求公式的真值。