问答题
推理证明下列各题的有效结论：（p→q）→（r∨s），（q→p）∨r，r=>pq
问答题推理证明下列各题的有效结论：¬（p→q）→¬（r∨s），（q→p）∨¬r，r=>p↔q
设f：A→B，定义函数g：B→ρ（A），对任意b∈B，g（b）={x∣x∈A且f（x）=b}.证明：如果f是A...
问答题设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）
问答题推理证明下列各题的有效结论：p∧q，（p↔q）→（t∨s）=>（t∨s）
