命题演算中的真值是如何定义的？

Question

如题所述

Answer 1

对于一个命题公式P中的所有命题变项指定一组真值，则称为P的一个赋值。

如果在某种赋值下，命题公式P的值为1，这种赋值称为成真赋值；

如果在某种赋值下，命题公式P的值为0，这种赋值称为成假赋值。

命题公式P的所有赋值的总和，就构成了真值表。

扩展资料：

命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。

逻辑代数的运算特点如同电路分析中的开和关、高电位和低电位、导电和截至等现象完全一样，都只有两种不同的状态，因此，它在电路分析中得到广泛的应用。

利用电子元件可以组成相当于逻辑加、逻辑成和逻辑非的门电路，就是逻辑元件。还能把简单的逻辑元件组成各种逻辑网络，这样任何复杂的逻辑关系都可以有逻辑元件经过适当的组合来实现，从而使电子元件具有逻辑判断的功能。因此，在自动控制方面有重要的应用。