(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

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.

3. 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?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Inference Rule with Quantifier and implication

**Physics Forums | Science Articles, Homework Help, Discussion**