②如果命题A在任意的真值赋值函数下的真值都为0, 则称A为矛盾式( contradiction ③如果A不是矛盾式,则称为可满足式。 2.1.5概率论 概率是随机事件发生的可能性的数量指标。 在独立随机事件中,如果某一事件在全部事件 中出现的频率,在更大的范围内比较明显的稳定在 某一固定常数附近。就可以认为这个事件发生的概 率为这个常数。对于任何事件的概率值一定介于0 和1之间。②如果命题A在任意的真值赋值函数下的真值都为0， 则称A为矛盾式(contradiction)； ③如果A不是矛盾式，则称为可满足式。 2.1.5概率论 概率是随机事件发生的可能性的数量指标。 在独立随机事件中，如果某一事件在全部事件 中出现的频率，在更大的范围内比较明显的稳定在 某一固定常数附近。就可以认为这个事件发生的概 率为这个常数。对于任何事件的概率值一定介于 0 和 1之间