什么是等值命题

设A、B为两个命题公式，若A、B构成的等价式A<->B是重言式（恒为真），那么就称A与B是等值的，记作A<=>B。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。

例如：判断┐（p∨q）与┐p∧┐q是否等值

即判断┐（p∨q）<->┐p∧┐q是否是重言式，通过真值表可发现┐（p∨q）<->┐p∧┐q的逻辑值恒为1，所以┐（p∨q）<->┐p∧┐q是重言式，即┐（p∨q）与┐p∧┐q等值

如果是金属，那么一定导电的等值命题，有，且只有以下三个命题

1. p← q。只有非金属，才不导电

2. p∨q 是非金属或者导电

3. (p∧ q)并非既是金属又不导电