0:00
高级逻辑等价拖放证明
将以下步骤按正确顺序排列，以从给定前提证明 ¬P。
可用步骤：
- Q → R (Premise)
- ¬R (Premise)
- ¬Q (Modus Tollens on 1, 2)
- P → Q (Premise)
- ¬P (Modus Tollens on 4, 5)
目标： 证明 ¬P
P → Q, Q → R, ¬R ⊢ ¬P可用步骤
证明中已使用所有步骤
目标：证明 Q
将步骤拖到这里以构建您的证明
将以下步骤按正确顺序排列，以从给定前提证明 ¬P。
可用步骤：
目标： 证明 ¬P
P → Q, Q → R, ¬R ⊢ ¬P