odradek
276
reputation
  • Member since February 01 2017
  • 17 profile views
  • Last seen Jan 28 '25 at 20:34

A ^ ¬A ⊢ B

1. A ^ ¬A
2. A
3. A ∨ B
4. ¬A
5. B