この証明の欠けている正当化理由を埋めてください。
ゴール: Qを証明する
P → Q, P ⊢ Q
空白のフィールドをクリックして証明を入力してください
この練習問題で扱う内容を解説しているガイドです。
