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
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 sinceA -> B = !A v B
.