N'y a-t-il pas de quantificateurs ? C'est pas le "contraire", c'est la "négation" que tu as écrit.
Une manière de le voir est de dire que "" équivaut à "". Ainsi, prendre la négation de "" revient à prendre la négation de "", c'est-à-dire "", je te laisse conclure.