• 2021-04-14
    设A、B是任意两个谓词公式,对A、B的任何赋值,若其真值相同,则称A与B是等价的,记作A ⇔B;若A→B是有效的,则称A蕴含B,记作A=>B