Change the second premise so S comes first. Then use exportation on the first two premises. Then you can have G implies R, and R implies T. Then by hypothetical syllogism, G implies T. Then you can cite the principle of identity: R->R. Then by dilemma, from G v R, G implies T, and R implies R, you can have R v T.
No comments:
Post a Comment