设A,B是命题公式,若A=B,泽A(双箭头)B是重言式?