单项选择题
A.第一代机器人B.第二代机器人C.第三代机器人D.第四代机器人
以下哪个是著名的地质勘探专家系统（）。A.MYCINB.KASC.PROSPECTORD.EMYCIN
单项选择题以下哪个是著名的地质勘探专家系统（）。
A.MYCINB.KASC.PROSPECTORD.EMYCIN
命题公式（PQ）P是（）。A.永真式B.永假式C.可满足式D.合取范式
单项选择题命题公式（PQ）P是（）。
A.永真式B.永假式C.可满足式D.合取范式
谓词公式xA（x）xA（x）的类型是（）。A.永真式B.矛盾式C.非永真式的可满足式D.不属于（A），（B），...
单项选择题谓词公式xA（x）xA（x）的类型是（）。
A.永真式B.矛盾式C.非永真式的可满足式D.不属于（A），（B），（C）任何类型
