R（x，y）指出约束变元和自由变元，并指出明量词的辖域。
相关考题
-
问答题
写出D的可达矩阵。 -
问答题
D中长度小于或等于4的回路数。 -
问答题
D中长度为4的通路数（含回路）。
