若命题公式A在它的各种赋值下取值均为真，则称A是永真式或 ____________。