Give a formal proof that A = B:
Let A be the set of all IST students who graduate
Let B be the set of all IST students who are good at problem-solving
Now use the following "facts" to give a formal proof that A = B (Hint: remember you must prove two separate things). The "facts" are:
(1) If an IST major graduates, then the student must have passed IST 230
(2) If an IST major is good at problem-solving, then the student passes IST 230
(3) If an IST major passes IST 230, then the student must be good at problem solving
(4) If an IST major passes IST 230, the student always graduates