Negation von Aussagen bilden. Stimmen meine Negationen?

Stimmen die Negationen? Bitte kontrolliert meine Antworten!

1. (∀x∈X)(∃y∈X) : s(x,y)

Negation: (∃x∈X)(∀y∈X) : ¬s(x,y)

2. (∃x∈X) : p(x) => q(y) : (∃y∈X)

Negation:  (∀x∈X) : ¬p(x) => ¬q(y):(∀y∈X)