问答题
用归谬法推证下列各题的有效结论：p→q，（¬q∨r）∧¬r，¬（¬p∧s）=>¬s
单项选择题 设f：X→Y为一函数，f-Y×X为f的逆关系，那么f-是（）
问答题 用归谬法推证下列各题的有效结论：r→q，r∨s，s→q，p→q=>p
单项选择题 设f和g都是从A到A的双射函数，则（fοg）-1为（）
