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!
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!