0:00
中级逻辑等价拖放证明

将以下步骤按正确顺序排列，以从给定前提证明 R。

目标： 证明 R

P ∨ Q, ¬P, Q → R ⊢ R

可用步骤

P ∨ Q前提
¬P前提
Q → R前提
Q选言三段论 (1, 2)
R肯定前件式 (3, 4)

目标：证明 R

将步骤拖到这里以构建您的证明