گزاره و استدلال ریاضی (ریاضی ۲)

گزاره و نقیض

گزاره جمله‌ای است که ارزش آن یا درست (T) است یا نادرست (F) — نه هر دو، نه هیچ‌کدام. جملات امری، سؤالی و متغیردار (مثل «$x$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی فرد است») گزاره نیستند.

نقیض $p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی را با $\sim p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی نشان می‌دهیم. نکتهٔ رایج کنکور: نقیض «مثبت» یعنی «نامثبت» (شامل صفر هم می‌شود)، نه «منفی» — نقیض «$>$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی» می‌شود «$\leq$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی»، نه «$<$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی».

چهار رابط اصلی

انتفای مقدم: اگر مقدم $p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی نادرست باشد، کل گزارهٔ شرطی همیشه درست است، صرف‌نظر از تالی؛ مثال: «اگر $8$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی فرد است آنگاه $42$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی» درست است چون مقدم نادرست است.

هم‌ارزی‌های کلیدی:

برای $p\Rightarrow q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی، عکس ($q\Rightarrow p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) و نقیض ($\sim p\Rightarrow \sim q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی) هم‌ارز اصل نیستند؛ فقط نقیض عکس هم‌ارز است. برای $p\Leftrightarrow q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی کافی است بپرسی «آیا ارزش $p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی و $q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی یکسان است؟».

برای $n$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی گزاره، تعداد حالات ارزشی $2^n$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی است.

نمادنویسی ریاضی: تبدیل جملهٔ فارسی به نماد، گام اول استدلال دقیق است؛ مثلاً «عددی به‌علاوهٔ پنج برابر دو برابر آن است» می‌شود $x+5=2x$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی. دقت کن «مکعب مجموع» یعنی $(x+y)^3$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی ولی «مجموع مکعبات» یعنی $x^3+y^3$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی — این دو کاملاً متفاوتند.

استدلال ریاضی

قیاس استثنایی (Modus Ponens): اگر $p\Rightarrow q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی درست و $p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی درست باشد، نتیجه می‌گیریم $q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی درست است: $p\Rightarrow q,\ p \vdash q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی.

مغالطهٔ قیاس معکوس: از درستی تالی نمی‌توان درستی مقدم را نتیجه گرفت. مثال: «اگر باران ببارد، زمین خیس می‌شود» و «زمین خیس است» ← نمی‌توان نتیجه گرفت «باران باریده» — زمین ممکن است از دلیل دیگری خیس شده باشد.

اثبات با نقیض عکس: وقتی اثبات مستقیم $p\Rightarrow q$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی سخت است، به‌جای آن $\sim q\Rightarrow \sim p$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی را ثابت می‌کنیم. مثال: برای اثبات «اگر $n^2$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی زوج باشد آنگاه $n$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی زوج است»، نقیض عکس را ثابت می‌کنیم: اگر $n=2k+1$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی (فرد) باشد، $n^2=4k^2+4k+1$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی که فرد است.

خطاهای رایج در استدلال:

• تقسیم بر صفر: در $x^2-x=0$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی، تقسیم دو طرف بر $x$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی مجاز نیست چون ممکن است $x=0$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی باشد — این کار ریشهٔ $x=0$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی را حذف می‌کند.
• ضرب نامساوی در عبارت با علامت نامعلوم: اگر در عدد مثبت ضرب کنیم علامت ثابت می‌ماند، اگر در عدد منفی ضرب کنیم علامت برعکس می‌شود.
• $\sqrt{a^2+b^2}\neq a+b$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی — جذر مجموع با مجموع جذرها برابر نیست.

استدلال با پایستاری (فراتر از کتاب): یافتن متغیری که در طول یک فرآیند تغییر نمی‌کند (یا همیشه زوج/فرد می‌ماند) یکی از قوی‌ترین ابزارها برای اثبات غیرممکن‌بودن یک کار است — مثلاً در مسئلهٔ کلاسیک وارونه‌کردن لیوان‌ها با جابه‌جایی جفتی، تعداد لیوان‌های وارونه همیشه با همان زوجیت اولیه باقی می‌ماند، پس اگر از حالت فرد شروع شود، هرگز به حالت زوج (همه رو به بالا) نمی‌رسد.

چک‌لیست سریع کنکوری:

• نقیض «$>$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی» ← «$\leq$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی»؛ انتفای مقدم ← شرطی همیشه درست.
• اصل $\equiv$ادامهٔ فرمول را افقی ببینبزرگ‌نمایی نقیض عکس (پرتکرارترین هم‌ارزی کنکور).
• قوانین دمورگان: نقیض «و» می‌شود «یا» و بالعکس.
• تقسیم دو طرف معادله فقط وقتی مجاز است که مقسوم‌علیه قطعاً غیرصفر باشد.