问答题
用归谬法推证下列各题的有效结论：p∧q，（p↔q）→（t∨s）=>t∨s
单项选择题 若f，g都是满射的，则复合函数gοf必是（）
单项选择题 设在整数集I上，函数f：I→I满足：对任意i∈I有f（i）=i（mod 3），则它是（）
问答题 用CP规则推证下列各题的有效结论：p→r∧q，s∨p，r=>s→q
