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

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

目标： 证明 S

P → Q, Q → R, R → S, P ⊢ S

可用步骤

P → Q前提
Q → R前提
R → S前提
P前提
Q肯定前件式 (1, 4)
R肯定前件式 (2, 5)
S肯定前件式 (3, 6)

目标：证明 S

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