真b是什么意思

->是蕴含操作：真值如下

A真B真，则A->B真

A真B假，则A->B假

A假，

则A->B真

第一条的意思是，前提是正确的，结论是正确的，则前提蕴含结论是正确的。

第一条的意思是，前提是正确的，结论是错误的，则前提蕴含结论是错误的。

第三条的意思是前提是错的，不管结论是什么，前提蕴含结论都是正确的。如前提：雪是黑的，结论：煤是白的，结果就是：如果雪是黑的，那么煤是白的，这句话是正确的。

v(A)=1,v(B)=1

v(A->B)=1

v(A)=1,v(0)=1

v(A->B)=0

v(A)=0,v(B)=0或1

v(A->B)=1

解释一：逻辑约定。有时可以约定成A=0时，v(A->B)=0,只是不常用。

解释二：A->B

=

非A

V

B