For Practice Problem 6, here's a little bit of additional guidance. First note that:
(p -> q) -> r <==> (-p v q) -> r
where I'm using "-" for negation. Now to prove that a
statement like this is true you need to argue that when -p v
q is true then r is true.
Return to the CS 201 Home Page