设一阶语言，证明中的下列公式是永真式。 （1） （2）。