اعداد حقیقی مجموعه‌ای از تمام اعداد گویا و گنگ هستند و معمولاً با نماد \( \mathbb{R} \) نمایش داده می‌شوند. این مجموعه شامل اعداد طبیعی، صحیح، گویا و گنگ است و می‌توان هر عدد حقیقی را به‌صورت یک نقطه روی محور اعداد نمایش داد.

در این مقاله با تعریف دقیق اعداد حقیقی، رابطه آن‌ها با سایر دستگاه‌های عددی، ترتیب اعداد، قدرمطلق، بازه‌ها، خواص جبری و ترتیب، ویژگی چگالی و اصل کامل بودن آشنا می‌شوید. همچنین چند مثال حل‌شده برای مقایسه و کار با اعداد حقیقی ارائه شده است.

اعداد گنگ اعداد حقیقی‌ای هستند که نمی‌توان آن‌ها را به صورت نسبت دو عدد صحیح با مخرج ناصفر نوشت. به بیان دقیق‌تر، اگر عدد حقیقی \(x\) را نتوان به صورت \(\frac{p}{q}\) با \(p,q\in\mathbb{Z}\) و \(q\neq0\) نوشت، آن عدد گنگ است. عددهایی مانند \(\sqrt{2}\)، \(\sqrt{3}\) و \(\pi\) نمونه‌هایی از اعداد گنگ هستند.

نمایش اعشاری یک عدد گنگ نامتناهی و غیردوره‌ای است؛ بنابراین اعداد گنگ برخلاف اعداد گویا، نه نمایش اعشاری متناهی دارند و نه اعشاری که از جایی به بعد به‌صورت دوره‌ای تکرار شود. در این مقاله تعریف دقیق، ویژگی‌ها، روش‌های تشخیص، اثبات گنگ بودن \(\sqrt{2}\)، رابطه اعداد گنگ با اعداد گویا و حقیقی، خواص جبری، مثال‌های حل‌شده و کاربردهای این اعداد را بررسی می‌کنیم.

اعداد گویا یکی از مجموعه‌های بنیادی اعداد در ریاضیات هستند. هر عددی که بتوان آن را به‌صورت نسبت دو عدد صحیح با مخرج ناصفر نوشت، یک عدد گویا است. مجموعه اعداد گویا با نماد \( \mathbb{Q} \) نمایش داده می‌شود و به‌صورت زیر تعریف می‌شود:

اعداد صحیح نیز گویا هستند، زیرا هر عدد صحیح \(n\) را می‌توان به شکل \(n/1\) نوشت. نمایش اعشاری یک عدد گویا یا متناهی است یا از یک الگوی دوره‌ای پیروی می‌کند؛ برای مثال \(0.75\) و \(0.\overline{3}\) هر دو گویا هستند.

اعداد گویا تحت جمع، تفریق و ضرب بسته‌اند و تقسیم دو عدد گویا نیز، به شرط آنکه مقسوم‌علیه صفر نباشد، عددی گویا به دست می‌دهد. همچنین \( \mathbb{Q} \) یک میدان مرتب است و بین هر دو عدد حقیقی متفاوت، بی‌نهایت عدد گویا وجود دارد؛ بااین‌حال مجموعه اعداد گویا نسبت به فاصله معمول کامل نیست.

اعداد صحیح مجموعه‌ای از اعداد مثبت، منفی و صفر هستند و با نماد \( \mathbb{Z} \) نشان داده می‌شوند:

$$ \mathbb{Z}=\{\ldots,-3,-2,-1,0,1,2,3,\ldots\} $$

در این مقاله، تعریف دقیق اعداد صحیح، تفاوت آن‌ها با اعداد طبیعی، جایگاه صفر، اعداد مثبت و منفی، نمایش روی محور اعداد، قدرمطلق، ترتیب و مقایسه، عملیات جمع، تفریق، ضرب و تقسیم و مهم‌ترین ویژگی‌های جبری اعداد صحیح بررسی می‌شود. همچنین با مثال‌های حل‌شده نشان می‌دهیم که چرا اعداد صحیح تحت جمع، تفریق و ضرب بسته‌اند، اما تحت تقسیم بسته نیستند.

اعداد طبیعی بنیادی‌ترین دستگاه عددی در ریاضیات هستند و برای شمارش، ترتیب‌دادن و شماره‌گذاری به کار می‌روند. بسته به قرارداد مورد استفاده، مجموعه اعداد طبیعی ممکن است از \(1\) شروع شود یا صفر را نیز شامل شود. به همین دلیل، هنگام استفاده از نماد \(\mathbb{N}\) باید مشخص کرد که آیا \(0\) عضو این مجموعه در نظر گرفته شده است یا نه.

در این مقاله تعریف دقیق اعداد طبیعی، نمادگذاری، رابطه آن‌ها با اعداد صحیح، خواص جمع و ضرب، ترتیب، اصل خوش‌ترتیبی، اصل استقرا و کاربردهای مهم آن‌ها بررسی می‌شود. همچنین تفاوت «عدد طبیعی» با «رقم» و «عدد صحیح» توضیح داده شده و مثال‌هایی برای تشخیص و کار با اعداد طبیعی ارائه می‌شود.

مثال نقض نمونه‌ای مشخص است که نشان می‌دهد یک گزاره کلی یا یک گزاره شرطی نمی‌تواند در همه موارد درست باشد. اگر گزاره‌ای ادعا کند که برای هر عضو از یک مجموعه، شرط خاصی برقرار است، پیدا کردن حتی یک مورد که شرایط فرض را داشته باشد اما نتیجه را نقض کند، برای رد آن گزاره کافی است. بنابراین مثال نقض یکی از ابزارهای مهم در بررسی و رد حدس‌های ریاضی است.

در این مقاله با تعریف دقیق مثال نقض، رابطه آن با گزاره‌های کلی و شرطی، روش پیدا کردن مثال نقض، تفاوت مثال نقض با یک مثال معمولی، و چند نمونه حل‌شده از جبر، نظریه اعداد و مجموعه‌ها آشنا می‌شوید.

استقرای قوی یا استقرای کامل یکی از روش‌های مهم اثبات در ریاضیات است که برای نشان دادن درستی یک گزاره برای همه اعداد طبیعی، به‌جای استفاده فقط از حالت قبلی، اجازه می‌دهد در گام استقرا از درستی همه حالت‌های پیشین استفاده کنیم. این روش به‌ویژه زمانی مفید است که حالت \(n+1\) مستقیماً از حالت \(n\) به دست نمی‌آید، اما می‌توان آن را با استفاده از یک یا چند حالت کوچک‌تر اثبات کرد.

در این مقاله اصل استقرای قوی، تفاوت آن با استقرای معمولی، نحوه انتخاب پایه استقرا، نوشتن فرض استقرایی، ساختن گام استقرا و چند مثال مهم از جمله تجزیه هر عدد صحیح بزرگ‌تر از یک به حاصل‌ضرب اعداد اول بررسی می‌شود.

برهان عکس نقیض یکی از روش‌های مهم برای اثبات گزاره‌های شرطی در ریاضیات است. اگر گزاره‌ای به صورت \(P \rightarrow Q\) باشد، عکس نقیض آن \( \lnot Q \rightarrow \lnot P \) است و این دو گزاره از نظر منطقی هم‌ارز هستند. بنابراین می‌توان به جای اثبات مستقیم گزاره، عکس نقیض آن را اثبات کرد.

در این روش، به جای شروع از فرض \(P\) و رسیدن به \(Q\)، فرض می‌کنیم \(Q\) نادرست است و نشان می‌دهیم که در نتیجه \(P\) نیز نمی‌تواند درست باشد. این روش به‌ویژه زمانی مفید است که کار با \( \lnot Q \) ساده‌تر از کار با \(P\) باشد. در این مقاله تعریف دقیق برهان عکس نقیض، رابطه منطقی آن با گزاره اصلی، مراحل اجرای اثبات، تفاوت آن با برهان خلف و چند مثال حل‌شده بررسی می‌شود.

روش‌های اثبات در ریاضیات مجموعه‌ای از شیوه‌های منطقی برای نشان‌دادن درستی یا نادرستی گزاره‌های ریاضی هستند. انتخاب روش مناسب، به ساختار منطقی گزاره، نوع فرض‌ها، دامنه متغیرها و شکل نتیجه بستگی دارد. در این مقاله، چارچوب کلی اثبات ریاضی و تفاوت میان اثبات مستقیم، برهان خلف، برهان عکس نقیض، اثبات با تفکیک حالات، استقرا، استقرای قوی و مثال نقض بررسی می‌شود.

درک تفاوت این روش‌ها به دانش‌آموز و دانشجو کمک می‌کند به‌جای آزمون و خطای محاسباتی، ساختار منطقی مسئله را تشخیص دهد و برای هر گزاره، راهبرد مناسب‌تری انتخاب کند. این مقاله ضمن معرفی جایگاه هر روش، ارتباط میان آن‌ها و نمونه‌های کوتاه ریاضی را نیز توضیح می‌دهد.

نقیض گزاره‌های دارای کمیت‌نما یکی از مفاهیم بنیادی در منطق ریاضی و استدلال ریاضی است. برای به‌دست‌آوردن نقیض یک گزاره کمی، نمی‌توان فقط واژه «نیست» یا «نمی» را به عبارت اضافه کرد؛ بلکه باید ساختار منطقی گزاره را در نظر گرفت. مهم‌ترین قانون این است که نقیض کمیت‌نمای کلی به کمیت‌نمای وجودی تبدیل می‌شود و برعکس.

اگر \(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)\) درست نیست». در این مقاله این قوانین، روش تبدیل گزاره‌های فارسی به نمادهای منطقی، نقیض گزاره‌های دارای چند کمیت‌نما، نقیض شرطی‌های کمی و مثال‌های حل‌شده بررسی می‌شوند.

هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آن‌ها را با نماد \(p \equiv q\) نشان می‌دهیم.

یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.

در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.

در منطق گزاره‌ای، شرطی و دوشرطی از مهم‌ترین عملگرهایی هستند که برای بیان رابطه میان دو گزاره به کار می‌روند. گزاره شرطی با نماد \(p\rightarrow q\) نوشته می‌شود و معمولاً به صورت «اگر \(p\)، آنگاه \(q\)» خوانده می‌شود. این گزاره فقط زمانی نادرست است که \(p\) درست و \(q\) نادرست باشد. در مقابل، گزاره دوشرطی با نماد \(p\leftrightarrow q\) نمایش داده می‌شود و زمانی درست است که \(p\) و \(q\) ارزش صدق یکسانی داشته باشند.

در این مقاله تعریف دقیق شرطی و دوشرطی، تفاوت آن‌ها، جدول ارزش، رابطه با عکس و عکس نقیض، مفهوم شرط لازم و کافی، هم‌ارزی‌های مهم و روش حل مثال‌های مختلف بررسی می‌شود.

عطف و فصل از بنیادی‌ترین عملگرهای منطق گزاره‌ای هستند که برای ساخت گزاره‌های مرکب از گزاره‌های ساده به کار می‌روند. عطف با نماد \(p\land q\) نشان داده می‌شود و تنها زمانی درست است که هر دو گزاره \(p\) و \(q\) درست باشند. فصل با نماد \(p\lor q\) نشان داده می‌شود و در منطق گزاره‌ای کلاسیک زمانی درست است که دست‌کم یکی از دو گزاره درست باشد؛ بنابراین حالت درست بودن هم‌زمان هر دو گزاره نیز در آن قرار می‌گیرد.

در این مقاله تعریف دقیق عطف و فصل، نمادگذاری، جدول ارزش، خواص مهم، قوانین دمورگان، تفاوت فصل منطقی با «یا»ی انحصاری، تقدم عملگرها، روش تحلیل گزاره‌های مرکب و مثال‌های حل‌شده از ساده تا ترکیبی بررسی می‌شود.