گزارهٔ موردنظر را می‌توان به شکل زیر نوشت: $\forall x\in {{R}^{+}};x+\frac{1}{x}\ge 2$ می‌دانیم: $\sim (\forall x;P(x))\equiv \exists x;\sim p(x)$ در نتیجه: $\sim (\forall x\in {{R}^{+}};x+\frac{1}{x}\ge 2)\equiv \exists x\in {{R}^{+}};x+\frac{1}{x}\lt 2$