2.1等值式 口两公式什么时候代表了同一个命题呢? 口抽象地看,它们的真假取值完全相同时即代 表了相同的命题。 口设公式A,B共同含有n个命题变项,可能对A或 B有哑元,若A与B有相同的真值表,则说明在 2n个赋值的每个赋值下,A与B的真值都相同 。于是等价式AB应为重言式。2.1 等值式 ❑两公式什么时候代表了同一个命题呢? ❑抽象地看,它们的真假取值完全相同时即代 表了相同的命题。 ❑设公式A,B共同含有n个命题变项,可能对A或 B有哑元,若A与B有相同的真值表,则说明在 2 n个赋值的每个赋值下,A与B的真值都相同 。于是等价式AB应为重言式