命题公式之间的逻辑相等关系具有自反性、对称性和（）。