永真式的否定是什么
【永真式的否定是什么】
永真式的否定是永假式 。给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为永真公式或者重言式 。由联结词∨、∧、→和联结的重言式仍是重言式 。
如果对任意一个赋值V，都有V[A]=0，即公式A对任一赋值均取“假”值，则公式A为矛盾式 。在逻辑演算中，公式按取值情况分为三种：对任一赋值都取“真”值的为恒真式，恒真式在命题演算中为重言式，在谓词演算中即为普遍有效式；对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式；还有一类即为矛盾式 。其中普遍有效式表达一定的逻辑规律，而矛盾式则表达一的逻辑矛盾 。
推荐阅读
- QQ名片漂浮的东西怎么设置
- 喊麦是什么玩意
- 喝豆浆有什么好处 喝豆浆的功效与作用
- 按摩的好处 用手来回搓这里全身都很舒服
- 如何鉴别六堡茶的新老？如何鉴别六堡茶的好坏
- 蓝红的案子赢了吗
- 红豆与赤小豆的区别
- 稀有气体占空气的百分之多少 稀有气体占空气的百分比
- 怎么查聚美优品的快递
- 野茄子根的功效和作用