演绎法证明逻辑推理：p→Q, R∧S, -Q→P∧S

假设p为真，则根据'p→Q'可得Q为真。同时，根据'R∧S'可得R为真且S为真。又根据'-Q→P∧S'可得-Q为假或P且S为真。因为我们已经证明了Q和S为真，所以-Q为假，因此P为真。因此，我们可以得出结论：如果p为真，则Q和R和S和P都为真。

原文地址: https://www.cveoy.top/t/topic/mAMj 著作权归作者所有。请勿转载和采集!