[判断] 

8、设A、B为谓词公式，若A<->B是逻辑有效式，则称A和B是等值的，记作A=>B。