“因为p蕴涵q并且q蕴涵r，所以p蕴涵r。”这一推理式是( )

¬p→r，q→s,¬p∨q├r∨s这一推理式是二难推理的（） (p→r)∧(q→s)∧(﹁r∨﹁s)├(﹁p∨﹁q)这一推理式是二难推理的 “(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是二难推理的 “(p→r)∧(，﹁q→r)∧(pV ﹁q)├r”这一推理式是二难推理的 “（p→q）∧（r→s）∧（p∨r）├（q∨s）”这一推理是二难推理的（） (p→q)∧(p→r)∧(﹁q∨﹁r)├﹁p,这一推埋式是二难推理的 设p、q是任意命题。P因果蕴涵q指的是：如果p是真的，那么因为p是真的，q也是真的。p反事实蕴涵q指的是：如果p与事实相反，p是真的，那么q也是真的。p严格蕴涵q指的是：必然地，如果p是真的，那么q也是真的。根据上述定义，下列不属于上述三种蕴涵关系的是: 与p∧﹁q相矛盾的蕴涵式是（）。 根据蕴涵律，P®Q与下列哪个公式等价（） 根据蕴涵律，P?Q与下列哪个公式等价？ “p,q├p∧q”，该推理式是( ) “或者P，或者Q，或者R；是P；所以不是Q，不是R。”这个推理在________时，才是正确的（） 判定下列推理形式是否为有效推理形式： ( p ∨ q ) ( p → r ) ( q → r ) ———————— r “p∧q├q”，该推理式是( ) 如果p，那么非q；如果p，那么非r；q或r；所以，非p。这是二难推理的（） 10.判定下列推理形式是否为有效推理形式：( p ∨ q )( p → r )( q → r )————————r 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 判断证明（p→q）∧（q→r）∧¬r=﹥¬p的过程是否正确。证明：⑴p→qP规则⑵q→rP规则⑶p→rT⑴⑵I⑷¬r→¬pT⑶E⑸¬rP规则⑹¬pT⑷⑸I所以¬p是前提p→q，q→r，¬r的有效结论（） 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。