考试
1970-01-01 08:00:00

∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。

题目描述

∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束变元,Q(x,y)中的x是自由变元

答案解析

×

加载中...
AI正在思考中,请稍候...