数理逻辑 3 逻辑蕴含和逻辑等价

啥叫逻辑蕴含：

P,Q,R都要是1，这相当于限制了v的赋值，而A就是要在这种限制的赋值下保证为1.A是永真式的话当然就不怕限制了，直接就蕴含。

可以直接理解为：在前面的一集合的命题公式都为真的情况下，下面的这个命题公式为真否。

逻辑等价：

这个···和<->有什么区别吗？

 

果然，没有了集合的性质就是->嘛。

 

 

常用的逻辑等价式：

 

 

注意：结合律都是用的一样的符号哦。 

 

 

 

 

带入定理：