PROOF EDITOR

¬p ∨ ¬q   ⊢  
α1(1)¬p ∨ ¬q A
α1(Z)
Next action