【不可满足性】的繁体字: 不可滿足性
【不可满足性】的读音为 bù kě mǎn zú xìng,无声调拼音为 bu ke man zu xing,简拼为 BKMZX
【不可满足性】的笔画分别为4画、5画、13画、7画、8画,部首分别为一部、口部、氵部、足部、忄部。
【分字繁体字】不的繁体字 可的繁体字 满的繁体字 足的繁体字 性的繁体字
如果谓词公式P对个体域D上的任何一个解释都取得真值T,则称P在D上是永真的;如果P在每个非空个体域上均永真,则称P永真。对于谓词公式P,如果至少存在一个解释使得公式P在此解释下的真值为T,则称公式P是可满足的。谓词公式的可满足性又称为相容性。如果谓词公式P对于个体域D上的任何一个解释都取得真值F,则称P在D上是永假的;如果P在每个非空个体域上均永假,则称P永假。谓词公式的永假性又称为不可满足性或不相容性。