问答题
对公式（∀x）（∀y）（P（x）∨Q（y））→（R（x）∧S（z））指出约束变元和自由变元，并指出明量词的辖域。
对公式（∀x）（P（x）→Q（x））∧R（x，y）指出约束变元和自由变元，并指出明量词的辖域。
写出D的可达矩阵。
问答题写出D的可达矩阵。
D中长度小于或等于4的回路数。
问答题D中长度小于或等于4的回路数。
（R（x）∧S（z））指出约束变元和自由变元，并指出明量词的辖域。
R（x，y）指出约束变元和自由变元，并指出明量词的辖域。