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