问答题

【计算题】
证明公式（∀y）P（x，y）→（∀y）P（x，y）是逻辑有效的。

答案：

你可能感兴趣的试题

【共用题干题】
有向图D如图所示。

D中v₄到v₃长度为1，2，3，4的通路各为几条？

答案：

【计算题】证明下列推理：每个有理数都是实数。有的有理数是整数。因此，有的实数是整数。

答案：