单项选择题 以下哪个是著名的地质勘探专家系统（）。

单项选择题 命题公式（PQ）P是（）。

单项选择题 谓词公式xA（x）xA（x）的类型是（）。