So lets say P(x) is "x is a lion"

Q(x) is "x is fierce"

R(X) is "x drinks coffee"

According to textbook ∀x(P(x) -> q(x)) = "All lions are fierce"

∃x((P(x)^¬R(x))= "Some lions do not drink coffee"

It also says it cannot be ∃x((P(x)->¬R(x)). Why?

P(x)=x is a hummingbird

Q(x)=x is large

R(x)=x lives on honey

S(x)=x is richly colored

Textbook says

∀x(P(x) -> S(x))=All hummingbirds are richly colored

Why is this statement implied and not "and". but the previous statement is "and" and cannot be implied? Whats the difference?

Thanks