第二章 谓词逻辑：介绍命题公式基本概念、前束范式和推理证明等。2.1谓词逻辑的基本概念:谓词逻辑的基本概念：个体词、谓词与量词[单选题]谓词公式的前束范式是唯一的。选项:[对, 错]
2.2谓词公式及其符号化:谓词公式的概念和符号化
2.3谓词公式的解释与类型:谓词公式的解释和三种类型
2.4谓词公式的换名:谓词公式的辖域、个体变项的约束出现与自由出现，换名规则与代替规则
2.5谓词公式的等值式:四组谓词公式的等值式
2.6前束范式:前束范式的概念与求法
2.7谓词推理的规则:谓词推理的推理规则，尤其是与量词有关的消去与引入规则
2.8谓词推理的证明:谓词公式的构造证明法
[多选题]
的前束范式是（ ）选项:[
, 
, 
, 
] 
[单选题]设个体域A={a,b}，公式"任意xP(x)在A中消去量词后应为（ ）选项:[P(a)
P(b), P(a)
P(b), P(a), P(b)] 
[单选题]令F(x):x是金属，G(y):y是液体，H(x,y):x可以溶解在y中，则命题“任何金属可以溶解在某种液体中”可符号化为( )选项:[
, 
, 
, 
] [单选题]设M（x）:x是人，F（x）：x犯错误，命题“所有的人都会犯错误。”符号化为（ ）选项:[
, 
, 
, 
] 
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
