当前位置: 王朝网络 >> 百科 >> 矛盾式

矛盾式

王朝百科·作者佚名 2009-10-24

contradictory（矛盾式或永假式）

设A为任一命题公式，若A在它的各种赋值下取值均为假，则称A是矛盾式。

矛盾式又称为永假式。

若命题公式A不是矛盾式，则称A为可满足式。

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。