Need help with converting sentence to predicate logic

44 Views Asked by At

I'm trying to write a predicate logic for this statement but I'm not sure if I'm writing this correctly. Can anyone validate and let me know if this is correct and if not, help to come up with the correct syntax, please. Thanks in advance.

∀x (P(x) (A(x) ^ (H(x)) -----> Accumulation(bad cholesterol(x))

Lack of physical activity and high calorie diet can lead to accumulation of bad cholesterol.

1

There are 1 best solutions below

6
On BEST ANSWER

You have the right idea: First, translate the information into predicates. Let $A(x)$ be physical activity, $B(x)$ be high calories and $C(x)$ be accumulation of cholesterol. You want to say for every $x$ if $\neg A(x) \land B(x)$ are satisfied, $C(x)$ is as well. That is: $$ \forall x, [(\neg A(x) \land B(x)) \rightarrow C(x)] $$

We can interpret this as saying, "for every entity $x$, if $x$ lacks physical activity and has a high calorie diet, then $x$ will accumulate cholesterol."