Define predicates and prove the following using the appropriate rules of inference: (a) studies logic is good at arguments. Therefore, there is a Computer Science student who is good at arguments. John, a Computer Science student, has studied logic. Everyone who Universe: all ISU students (b) Therefore, some popular movie was filmed in Iowa. Universe: all movies All action movies are popular. There is an action movie filmed in Iowa. (c) how to surf, you don't live close to the ocean. Anyone who knows how to surf, owns a surfboard. Therefore, anyone who lives in Hawaii owns a surfboard. Universe: all people Anyone who lives in Hawaii lives close to the ocean. If you don't know