The Laws of Logic
The Basic Logical Laws
The Laws of Addition (I)
To prove that p => pVq is a tautology.
The fully formatted problem is in the attached file.
It is proven that p => pVq is a tautology. This solution includes a truth table in an attached Word document.