求一道逻辑题的解法:以ot;P→(q∧r)为一前提,若再增加()为另一前提,可必然的推出P∧S