单项选择题

谓词公式xA(x)xA(x)的类型是()。

A.永真式
B.矛盾式
C.非永真式的可满足式
D.不属于(A),(B),(C)任何类型