填空题

设A(x),B(x)均为含x自由出现的公式,则公式的类型为()。

【参考答案】

永真式