go top

矛盾式

网络释义

短语

矛盾方式 contradictory way

解决矛盾冲突的方式 conflict management styles

矛盾方程式 incompatible equation

有道翻译

矛盾式

Contradictory form

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 重言矛盾不是实在图像

    Tautologies and contradictions are not pictures of reality.

    youdao

  • 应用重言矛盾

    Application of this to tautology and contradiction.

    youdao

  • 命题显示它们所说的东西,重言矛盾则显示它们什么也役有

    Propositions show what they say; tautologies and contradictions show that they say nothing.

    youdao

更多双语例句

百科

矛盾式

矛盾式(contradictory formula)又称永假式、不可满足公式,是逻辑演算的一类公式。如果对任意一个赋值V,都有V[A]=0,即公式A对任一赋值均取“假”值,则公式A为矛盾式。在逻辑演算中,公式按取值情况分为三种:对任一赋值都取“真”值的为恒真式,恒真式在命题演算中为重言式,在谓词演算中即为普遍有效式;对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式;还有一类即为矛盾式。其中普遍有效式表达一定的逻辑规律,而矛盾式则表达一的逻辑矛盾。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定