计算机判断题较难

谓词与量词 — 计算机判断题

离散数学（大学通用）谓词逻辑 AI 三重审校通过

题目

设论域为非空集合，P、Q 是一元谓词。判断下述命题是否正确：对任意论域及任意谓词解释，∀x(P(x)→Q(x)) 与 (∀xP(x))→(∀xQ(x)) 等价。