问答题
用归谬法推证下列各题的有效结论：（p→q）∧（r→s），（q→t）∧（s→u），¬（t∧u），p→r=>¬p
填空题 若gοf是双射，则g是（），f是（）.
填空题 设函数f：A→B有逆函数f-1，B→A，则f-1οf=（），fοf-1=（）.
问答题 用归谬法推证下列各题的有效结论：p→q，（q∨r）∧r，（p∧s）=>s
