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!
Follow Math Help Forum on Facebook and Google+
Originally Posted by triathlete 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!
By predicate calculus: (hypothesis) (Disjunction Introduction) (Disjunction Introduction and end of proof)
View Tag Cloud