0:00
初学者逻辑等价拖放证明

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

目标： 证明 Q

P → Q, P ⊢ Q

可用步骤

P → Q前提
P前提
Q肯定前件式 (1, 2)

目标：证明 Q

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