问答题计算题

在自然推理系统P中用附加前提法证明以下推理:
前提:(p∨q)→(r∧s),(s∨t)→tl
结论:p→u

您可能感兴趣的试卷

你可能感兴趣的试题

参考答案x~y蕴含Δx~Δy;x~y,u~v蕴含x*u~y*v;同余类