Patrick B. answered 12/12/18
Math and computer tutor/teacher
The conclusion does not necessarily follow...
The truth value of A does not affect the statement A or B , since B is given.
Here's the truth table ( you may have to fix the columns, as the browser messes them up)
which does NOT produce a tautology
A B ~A A v B all given (AvB) * B given ---> ~A
T T F T T F
T F F T F T
F T T T T T
F F T F F T