0:00
中級論理等価性ドラッグ＆ドロップ証明

与えられた前提からRを証明するために、以下の手順を正しい順序に並べ替えなさい。

目標: Rを証明する

P ∨ Q, ¬P, Q → R ⊢ R

利用可能なステップ

P ∨ Q前提
¬P前提
Q → R前提
Q選言三段論法 (1, 2)
Rモーダスポネンス (3, 4)

目標: Rを証明する

証明を構築するためにステップをここにドラッグしてください