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