odradek
276
reputation
2
4
A ^ ¬A ⊢ B
1. A ^ ¬A
2. A
3. A ∨ B
4. ¬A
5. B