Stack Overflow
Stack Overflow

odradek
993
reputation
7
14
  • Member since September 18 2015
  • 56 profile views
  • Last seen Sep 02 '23 at 02:42

A ^ ¬A ⊢ B

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