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
∀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?