问答题计算题

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


您可能感兴趣的试卷

你可能感兴趣的试题