# correct formula for not all sunny days are hot

1 vote
174 views

1 vote

Sunny(x)= x is a sunny day

Hot(x)=x is a hot day

All Sunny Days are hot:-

∀x (Sunny(x)->Hot(x))

Not All Sunny days are hot=Not(All sunny days are hot)

Not(∀x (Sunny(x)  -> Hot(x)))

Not(∀x (~Sunny(x) V Hot(x) ) )

(∃ x ~(~Sunny(x) V Hot(x) ) )

∃ X(Sunny(x) AND ~Hot(x))

So,  option D is the answer

selected
1
"Not all sunny days are hot" can be interpreted as

"There exist some sunny days that are not hot".

$\Rightarrow$ $\exists$ d (Sunny(d) ^ ~hot(d)).
0
Negating the statement "All sunny days are hot"

we will get Not all sunny days are hot it will give option D.

## Related questions

1 vote
1
279 views
Correct symbolical representation of statement => "All Birds are beautiful" ? Now , here the logical way to approach seems like necessary condition. Since All birds are beautiful , can be equivalent to , "If X is a bird then X is beautiful." Again , with Universal ... First , I'm totally lost now , with when to choose conjunction vs implication and how the above form is closer to sentential form.