0:00
高级逻辑等价证明

给定前提：

  1. P ∨ Q
  2. ¬P

证明：Q

P ∨ Q, ¬P ⊢ Q

目标：证明 ?

逐步构建你的证明

1.
P ∨ Q
前提
2.
¬P
前提