共用题干题

有向图D如图所示。

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

对公式（∀x）（P（x，y）∧Q（y，z））指出约束变元和自由变元，并指出明量词的辖域。

问答题

对公式（∀x）（P（x，y）∧Q（y，z））指出约束变元和自由变元，并指出明量词的辖域。

对公式（∀x）（∀y）（P（x）∨Q（y））→（R（x）∧S（z））指出约束变元和自由变元，并指出明量词的辖域...

问答题

对公式（∀x）（∀y）（P（x）∨Q（y））→（R（x）∧S（z））指出约束变元和自由变元，并指出明量词的辖域。

对公式（∀x）（P（x）→Q（x））∧R（x，y）指出约束变元和自由变元，并指出明量词的辖域。

问答题

对公式（∀x）（P（x）→Q（x））∧R（x，y）指出约束变元和自由变元，并指出明量词的辖域。