0:00
初学者逻辑等价证明完成

填写此证明中缺失的推理依据。

目标： 证明 Q

P → Q, P ⊢ Q

目标：证明 Q

点击空白字段填写证明

1.
P → Q
前提
2.
P
前提
3.
Q
选择规则
选择行引用