计算题 用归谬法推证下列各题的有效结论：（p→q）∧（r→s），（q→t）∧（s→u），¬（t∧u），p→r=>¬p

若gοf是双射，则g是（），f是（）.

填空题若gοf是双射，则g是（），f是（）.

设函数f：A→B有逆函数f-1，B→A，则f-1οf=（），fοf-1=（）.

填空题设函数f：A→B有逆函数f^-1，B→A，则f^-1οf=（），fοf^-1=（）.

用归谬法推证下列各题的有效结论：p→q，（q∨r）∧r，（p∧s）=>s

问答题用归谬法推证下列各题的有效结论：p→q，（¬q∨r）∧¬r，¬（¬p∧s）=>¬s