Question about reading proof notation When reading the following problem, do you assume that each premise is true? So since number 2 states ¬ B am I to assume that ¬ B is true? Which would mean B is false?


*

*A ∨ C → D    Premise

*¬ B          Premise

*A ∨ B        Premise

*A            2, 3, Disjunctive Syllogism

*A ∨ C        4, Addition

*D            1, 5, Modus Ponens
QED.


Thanks for the help.

dictionary.com defines:
'Premise': a statement which is assumed to be true for the purpose of an argument from which a conclusion is drawn
