首页 > 离散数学(02324) > 题目详情

证明下列谓词公式为永真式∀y(∀xA(x)→A(y))。

分类: 离散数学(02324) 发布时间: 2024-08-03 23:45 浏览量: 5
证明下列谓词公式为永真式
∀y(∀xA(x)→A(y))。
【正确答案】：证明:利用谓词等值式∀y(B→A(y))⟺ B→∀yA(y)
可得∀y(∀xA(x)→A(y))
⟺ ∀xA(x)→∀yA(y)
⟺ ∀yA(y)→∀yA(y)
易见这是一个永真式。
所以,谓词公式∀y(∀xA(x)→A(y))为永真式。
← 返回分类 返回首页 →

相关题目

↑