Predikátová logika

Které z následujících tvrzení je negací formule `((\exists x)A(x) \wedge (\forall y)B(y)) \Rightarrow (\exists x)\neg C(x)`?