0:00
中级逻辑等价证明完成

完成以下反证法证明：

  1. P → Q (前提)
  2. P (前提)
  3. ¬Q (前提)
  4. _____ (?)
  5. _____ (?)

目标：推导出矛盾

P → Q, P, ¬Q ⊢ ⊥

目标：证明 ?

点击空白字段填写证明