证明下列谓词公式为永真式 ∀y(∀xA(x)→A(y))。
证明下列谓词公式为永真式 ∀y(∀xA(x)→A(y))。
【正确答案】：
易见这是一个永真式。所以，谓词公式∀y(∀xA(x)→A(y))为永真式。
【题目解析】：利用谓词等值式的一般形式展开即可看到前后项是相同的，因此是永真式。
【正确答案】：
易见这是一个永真式。所以，谓词公式∀y(∀xA(x)→A(y))为永真式。【题目解析】：利用谓词等值式的一般形式展开即可看到前后项是相同的，因此是永真式。