单选题
在谓词演算中,P(A) 是
A
B
C
D
【正确答案】
A
【答案解析】
[解析] 全称量词消去规则的定义为
,即A(C) 是
提交答案
关闭