不可满足性的解释和意思

不可满足性的拼音及详细解释

【词语名称】不可满足性（bukemanzuxing）

【词语拼音】bu ke man zu xing

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

【词语简拼】BKMZX

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

【分字组词】不字组词 可字组词 性字组词 满字组词 足字组词