前提: p → q,(﹁q∨r)∧﹁r , p∨s 结论: s

我要回帖

 

随机推荐