p∨q
p →∼ q
p → r
∴ r
I need to construct a truth table for this but am not sure if this is correct any help is appreciated
This is what I got. The A -> B
ones I switched to !A v B
to make the values a little easier to figure out since A -> B = !A v B
.