• 2022-06-07
    填充下面的推理证明中没有写出推理规则。前提:p→(q→r),q→(r→s)结论:(p∧q)→s证明:1p∧q2p3q4p→(q→r)前提引入5q→r6r7q→(r→s)前提引入8r→s9s