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