- #1
master cherundo
- 14
- 0
Homework Statement
All healthy food does not taste good. "
Spinach is a healthy food. Duncan only want to eat tasty food. Duncan does not eat spinach. Hamburger is not a healthy food.
Write all possible conclusion.
I try to translate it into proposition with quantifier, such as [tex]t(x)=[/tex]x is tasty, [tex]h(x)=[/tex]x is healthy, [tex]d(x)=[/tex] Doddy eats x.
The Attempt at a Solution
I think [tex]d(hamburger)[/tex] is not a conclusion because the argument is [tex]d(x) \rightarrow t(x)[/tex]. We cannot conclude [tex]d(hamburger)[/tex] or [tex]t(hamburger)[/tex], because proposition said [tex]h(x) \rightarrow ~t(x)[/tex] and [tex]d(x) \rightarrow t(x)[/tex]. Is it right?