نقیض گزاره‌های دارای کمیت‌نما یکی از مفاهیم بنیادی در منطق ریاضی و استدلال ریاضی است. برای به‌دست‌آوردن نقیض یک گزاره کمی، نمی‌توان فقط واژه «نیست» یا «نمی» را به عبارت اضافه کرد؛ بلکه باید ساختار منطقی گزاره را در نظر گرفت. مهم‌ترین قانون این است که نقیض کمیت‌نمای کلی به کمیت‌نمای وجودی تبدیل می‌شود و برعکس.
اگر \(P(x)\) یک گزاره درباره اعضای مجموعه مرجع \(U\) باشد، دو قانون بنیادی عبارت‌اند از:
$$
\neg(\forall x\in U,\;P(x))
\equiv
\exists x\in U,\;\neg P(x)
$$
و
$$
\neg(\exists x\in U,\;P(x))
\equiv
\forall x\in U,\;\neg P(x).
$$
بنابراین، نقیض «برای هر \(x\)، گزاره \(P(x)\) درست است» این است که «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست نیست». همچنین نقیض «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست است» این است که «برای هیچ \(x\)، \(P(x)\) درست نیست». در این مقاله این قوانین، روش تبدیل گزاره‌های فارسی به نمادهای منطقی، نقیض گزاره‌های دارای چند کمیت‌نما، نقیض شرطی‌های کمی و مثال‌های حل‌شده بررسی می‌شوند.
تربیم، با نماد Tb و عدد اتمی ۶۵، فلزی نرم، نقره‌ای رنگ و از دسته عناصر خاکی کمیاب (لانتانیدها) است. این عنصر به صورت آزاد در طبیعت یافت نمی‌شود، اما در بسیاری از کانی‌ها وجود دارد و در تولید فسفرهای سبز و دستگاه‌های حالت جامد کاربرد دارد.
بروز درد زیر شکم به صورت روزانه یا هر چند روز یکبار نوعی زنگ هشدار است. شما به معاینه دقیق، سونوگرافی و حتی آزمایش خونبسته به دستور پزشک معالجتان نیاز دارید.
مواد در حال تجربه تغییرات فازی یا انتقال از یک حالت ماده به حالت دیگر هستند. در زیر لیستی کامل از نام های این تغییرات فازی مواد آورده شده است. شناخته شده ترین آن ها شامل شش تغییر بین جامدات، مایعات و گازهاست. با این حال، پلاسما نیز یک حالت ماده است، بنابراین لیست کامل شامل هشت تغییر فازی می شود.