When to use conjunction and when to use implication? (First Order Logic)

Question

I'm learning First Order Logic at the moment. I'm looking at this example:

Some dogs bark ∃x (dog(X) Λ bark(x))

All dogs have four legs ∀x (dog(x) -> have_four_legs(x))

My question is: is it possible for the second example to be: ∀x (dog(x) Λ have_four_legs(x))

And why can't the first example be: ∃x (dog(X) -> bark(x))

Answer 1

Well ask yourself this: Are implication and conjunction equivalent? No. Your last statement says that all x's are both dogs and have four legs. While that does mean that all dogs have four legs, it also means that everything is a dog...

I suggest writing out what each statement means in English:

There is some x that is a dog and barks There is some x where if it is a dog it barks

Now can you see the differences? The second one doesn't specifically say that a dog exists.