0:00
上級論理等価性ドラッグ＆ドロップ証明
与えられた前提から¬Pを証明するために、以下のステップを正しい順序に並べてください。
利用可能なステップ:
- Q → R (前提)
- ¬R (前提)
- ¬Q (ステップ1, 2に対するModus Tollens)
- P → Q (前提)
- ¬P (ステップ4, 5に対するModus Tollens)
目標: ¬Pを証明する
P → Q, Q → R, ¬R ⊢ ¬P利用可能なステップ
証明で全てのステップを使用しました
目標: Qを証明する
証明を構築するためにステップをここにドラッグしてください