Share
Explore BrainMass

How do you prove that p => pVq is a tautology?

Modern Algebra
Logic (X)
Tautologies
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.

Attachments

Solution Summary

It is proven that p => pVq is a tautology. This solution includes a truth table in an attached Word document.

$2.19