"tomorrow it rains or we go to the beach" and "tomorrow it does not rain or we go see a movie" and "tomorrow we go to the beach or we go see a movie" as logical expressions and then give a direct proof (with two appropriately chosen cases) that shows that the last logical expression follows from the first two.
No comments:
Post a Comment