二、重言蕴涵
如果给定两个公式A、B, 只要A取值为真, B就必取值为真, 便称A重言(永真)蕴涵B。或称B是A的逻辑推论。并用符号
A
B表示。
例4: P
P∨Q正确否?
B表示。P∨Q正确否?