1 ist richtig bei 2 habe ich Zweifel
(∃x∈X) : p(x) => q(y) : (∃y∈X)
Negation gibt erst Mal
(∀x∈X) : ¬ ( p(x) => q(y) : (∃y∈X) )
Negation von a => b ist doch a ∧ ¬ b
also wäre das dann
(∀x∈X) : ( p(x) ∧ ¬ ( q(y) : (∃y∈X) ) )
(∀x∈X) : ( p(x) ∧ ¬q(y):(∀y∈X)