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

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

目標: Qを証明する

P → Q, P ⊢ Q

利用可能なステップ

P → Q前提
P前提
Qモーダスポネンス (1, 2)

目標: Qを証明する

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