问答题
简答题
形式证明：p→q∨r，s→¬r，p∧s⇒q 。
【参考答案】
假设p为真，q∨r也为真。由于s为真，根据s→¬r，r为假。因为q∨r为真，r为假，所以q为真。所以，p∧s⇒q。
点击查看答案
