找考题网-背景图
问答题

计算题 用归谬法推证下列各题的有效结论:p∧q,(p↔q)→(t∨s)=>t∨s

【参考答案】