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

与えられた前提からSを証明するために、以下のステップを正しい順序に並べてください。

目標: Sを証明する

P → Q, Q → R, R → S, P ⊢ S

利用可能なステップ

P → Q前提
Q → R前提
R → S前提
P前提
Qモーダスポネンス (1, 4)
Rモーダスポネンス (2, 5)
Sモーダスポネンス (3, 6)

目標: Sを証明する

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