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