推理证明,前提,p->s.q->r.非r.p∨q结论s

问题描述:

推理证明,前提,p->s.q->r.非r.p∨q结论s

百度搜索就找到了
《离散数学》模拟试题 (四)-mnst4