问答题
推理证明下列各题的有效结论：p∧q→r，¬r∨s，¬s=>¬p∨¬q
问答题 推理证明下列各题的有效结论：（p→q）→（r∨s），（q→p）∨r，r=>pq
问答题 设f：A→B，定义函数g：B→ρ（A），对任意b∈B，g（b）={x∣x∈A且f（x）=b}.证明：如果f是A到B的满射，则g是单射．其逆成立吗？
问答题 推理证明下列各题的有效结论：p∧q，（pq）→（t∨s）=>（t∨s）
