Show that {α ∨ β, ¬α} ⊢ β.

Question

α, β are well formed formulas

Answer 1

--->

a v B and ~a is given....

then B must hold by disjunction

<----

B is given

then a v B must hold by additive property

where a is irrelevant ( don't care var of the Karnaugh map)