作业帮 > 数学 > 作业

设论域为{a,b},公式(所有x)P(x)^(存在x)S(x)消去量词后应为

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/07/17 11:52:19
设论域为{a,b},公式(所有x)P(x)^(存在x)S(x)消去量词后应为
有两个公式:设论域元素为x1,x2,...,xn
(所有x)P(x)=P(x1)∧P(x2)∧...∧P(xn)
(存在x)P(x)=P(x1)∨P(x2)∨...∨P(xn)
因此 原题应该等于P(a)∧P(b))∧(S(a)∨S(b)) 选B