问答题

【计算题】

证明公式(∀y)P(x,y)→(∀y)P(x,y)是逻辑有效的。

答案:

微信扫码免费搜题