谓词公式$xA(x)ÙØ$xA(x)的类型是A非永真式的可满足式B无法确定C矛盾式D永真式