Stack Overflow
Stack Overflow

odradek
993
reputation
7
14
  • Member since September 18 2015
  • 53 profile views
  • Last seen May 05 '22 at 15:14

A ^ ¬A ⊢ B

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