问答题

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

答案：

你可能感兴趣的试题

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

答案：

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

D是哪类连通图？

答案： D是强连通图。