在公式(∀x)(P(x)→(Q(x)∨R(x)))∧(∀x)(R(x)→S(x,y))中,试对约束变元进行换名,对自由变元进行代入。 参考答案: 5.问答题 有向图D如图所示。 请写出D的可达矩阵。 参考答案: 7.问答题(∃x)(∀y)(P(x,y)∧Q(y,z))∨(∀x)R(x,y)求前束合取范式 ...