QUESTION
Consider the following valid argument: If Mark likes Algebra, then he is a mathematician. Mark does not like Geometry. Mark is a mathematician or Mark is smart. If Mark is a mathematician, then he likes Geometry. Therefore, Mark is smart, or if Mark likes Algebra, then Mark likes Geometry.
A. Symbolize the given argument using A for "Mark likes Algebra", M for "Mark is a mathematician", G for Mark likes Geometry, S for "Mark is smart".
B. Write a formal proof of validity for the given argument. (No truth tables allowed)
Related Questions