不可满足性

【词语拼音】bù kě mǎn zú xìng

【词语繁体】不可滿足性

【词语结构】式词语

【词语字数】五字词语

【网络解释】
如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的；如果P在每个非空个体域上均永真，则称P永真。对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可满足的。谓词公式的可满足性又称为相容性。如果谓词公式P对于个体域D上的任何一个解释都取得真值F，则称P在D上是永假的；如果P在每个非空个体域上均永假，则称P永假。谓词公式的永假性又称为不可满足性或不相容性。