证明:（p∧q）→r，¬r∨s，¬s，p蕴含¬q过程如下：证明：⑴qP（附加前提）⑵¬r∨sP⑶¬sP⑷¬rT⑵⑶I⑸（p∧q）→rP⑹¬（p∧q）（）

以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 关税同盟实践过程中需要附加原产地证明（） 资金证明出具应通过CCBS资金证明交易办理，证明事项信息采集应遵循如下（）规则。 以”￢p∨￢q∨r“为大前提，（） 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 用真值表来证明(p→q)←→(﹁q→﹁p)是永真式。 用真值表来证明﹁（p∧q）←→﹁p∨﹁q是永真式。 以¬p→r，¬q→s,¬r∨¬s为前提进行推理，其结论应是( ) 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是（） 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是(　　　) 对谓词公式P和Q，如果P→Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，P为Q的前提。() 证明过程是一个动态的过程，一般认为，证明过程由( )组成。 若以“p→（q→r）”和“～r”为前提构成的推理，能必然得出结论（）。 票据追索权的行使以获得拒绝付款证明或退票理由书等有关证明为前提（） 《客规》中，凭法规规定的持Q证明佩带的Q支可以乘车（） 以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 风险是保险产生和存在的: 前提|可能|环境|证明 《几何原本》的内容中，有三类属于推理的初始前提，无法证明，也无需证明，其中包括（） 以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。 核算事项证明章可用于如下哪些凭证（）