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) 

Public Answer

Q8HS86 The First Answerer