什么是矛盾式

问题描述

精选答案

矛盾式(contradictory formula)又称永假式、不可满足公式，是逻辑演算的一类公式。

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

其他回答

学英语的内涵

矛盾式是一个数学命题，设A为任一命题公式，若A在它的各种指派情况下，其取值均为假，则称A是矛盾式或永假式。