命题公式成为永真式的条件是什么?