نکته: نقیض گزاره‌های سوری به شکل زیر است: $\sim (\forall x;p(x))\equiv \exists x;\sim p(x)$  $\sim (\exists x;p(x))\equiv \forall x;\sim p(x)$ با توجه به نکتۀ بالا، باید سور وجودی به سور عمومی تبدیل شود و گزاره‌نما نقیض شود، پس: (همۀ برنامه‌های تلویزیونی مفید هستند)$\equiv $ (بعضی از برنامه‌های تلویزیونی مفید نیستند)$\sim $