Question 973506
I need help proving that A V ~~B is a consequence of A V B.
<pre>

That's the double negation property.

Edwin</pre>