Answer to Question #178300 in Discrete Mathematics for Faizan

Question

Consider the argument:

"Mary is a diabetic.

If Mary is a diabetic, then Frank is a television watcher.

If Frank is a television watcher, then Mark is not unhappy.

Either James is a watermelon, or Mark is happy."

Formalize this argument, and make a conclusion about James.

Answer 1

since Mary is a diabetic follows, Frank is a television watcher. Since Frank is a television watcher follows, Mark is happy. Since Mark is happy follows, James isn’t a watermelon