Hello, I have a problem in my computer science class that goes as follows:

" prove the following using logical proofs (not truth tables)"

(p --> q) V (p --> r) V p is a tautology

I can get a few steps into it, then get stuck. Please help!

Printable View

- February 2nd 2010, 12:30 PMtriathleteLogical Equivalence Help
Hello, I have a problem in my computer science class that goes as follows:

" prove the following using logical proofs (not truth tables)"

(p --> q) V (p --> r) V p is a tautology

I can get a few steps into it, then get stuck. Please help! - February 2nd 2010, 12:46 PMPlato
- February 2nd 2010, 01:06 PMnovice
By predicate calculus:

(hypothesis)

(Disjunction Introduction)

(Disjunction Introduction and end of proof)