پرش به محتوای اصلی

آشنایی با منطق و استدلال ریاضی (انسانی)

بخشی از بانک سؤال طبقه‌بندی‌شده‌ی این مبحث در کوئیز سنتر — رایگان و بدون نیاز به ثبت‌نام

خلاصه‌ی درسنامه

این خلاصه‌ی 30 درصدی درسنامه اصلی است. متن کامل با همه‌ی نکته‌ها، مثال‌های حل‌شده و جمع‌بندی، با ثبت‌نام رایگان در دسترست قرار می‌گیرد.

گزاره و نقیض

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

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

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

رابط نماد کِی درست است؟
عطفی («و») p∧qp\wedge q فقط وقتی هر دو T باشند
فصلی («یا») p∨qp\vee q حداقل یکی T باشد (در منطق فراگیر است)
شرطی («اگر...آنگاه») p⇒qp\Rightarrow q همیشه جز وقتی مقدم T و تالی F باشد
دوشرطی («اگر و تنها اگر») p⇔qp\Leftrightarrow q وقتی pp و qq هم‌ارزش باشند

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

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

p⇒q≡∼q⇒∼p(نقیض عکس — پرتکرارترین هم‌ارزی کنکور)p \Rightarrow q \equiv \sim q \Rightarrow \sim p \quad \text{(نقیض عکس — پرتکرارترین هم‌ارزی کنکور)}
∼(p∨q)≡∼p∧∼q∼(p∧q)≡∼p∨∼q(دمورگان)\sim(p \vee q) \equiv \sim p \wedge \sim q \qquad \sim(p \wedge q) \equiv \sim p \vee \sim q \quad \text{(دمورگان)}

برای p⇒qp\Rightarrow q، عکس (q⇒pq\Rightarrow p) و نقیض (∼p⇒∼q\sim p\Rightarrow \sim q) هم‌ارز اصل نیستند؛ فقط نقیض عکس هم‌ارز است. برای p⇔qp\Leftrightarrow q کافی است بپرسی «آیا ارزش pp و qq یکسان است؟».

برای nn گزاره، تعداد حالات ارزشی 2n2^n است.

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

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

قیاس استثنایی (Modus Ponens): اگر p⇒qp\Rightarrow q درست و pp درست باشد، نتیجه می‌گیریم qq درست است: p⇒q, p⊢qp\Rightarrow q,\ p \vdash q.

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

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

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

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

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

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

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

نمونه تست

پاسخنامه‌ی تحلیلی سه‌بخشی برای هر سؤال

  • چرا گزینه‌ی درست، درست است
  • چرا هر گزینه‌ی دیگر غلط است
  • تله‌ی تستی‌ای که باید بشناسی

1. نقیضِ گزارهٔ «a مثبت است» کدام است؟

  • a منفی است
  • a نامثبت است
  • a صفر نیست
  • a نامنفی است

پاسخنامه‌ی تحلیلی

گزینهٔ درست «a نامثبت است» است. گامِ اول: «a مثبت است» یعنی a>0؛ نقیضِ آن یعنی a>0 برقرار نباشد، یعنی a≤0 که دقیقاً همان «نامثبت» است (صفر یا منفی). وارسیِ مستقل با حالتِ حدی: اگر a=0 باشد، گزارهٔ «a مثبت است» نادرست است، پس نقیضش باید درست باشد؛ تنها گزینه‌ای که a=0 را می‌پذیرد «نامثبت» است. ردِ «a منفی است»: a<0 صفر را جا می‌اندازد، پس با a=0 هم گزارهٔ اصلی و هم این گزینه نادرست می‌شوند و نقیض نیست. ردِ «a صفر نیست»: با a=5 این گزینه درست است ولی گزارهٔ اصلی هم درست است؛ نقیض نمی‌تواند هم‌زمان با اصل درست باشد. ردِ «a نامنفی است»: یعنی a≥0 که با a=5 هم‌زمان با اصل درست است، پس نقیض نیست (خلطِ «نامثبت» با «نامنفی»). 🔑 تلهٔ تستی: نقیضِ «مثبت» دقیقاً «نامثبت» (صفر یا منفی) است، نه «منفی»؛ جاانداختنِ صفر رایج‌ترین خطای این نوع سؤال است و «نامنفی» هم دقیقاً وارونهٔ پاسخِ درست است.

2. نقیض نامساوی x>7 کدام است؟

  • x=7
  • x<7
  • x≤7
  • x≥7

پاسخنامه‌ی تحلیلی

گزینهٔ درست «x≤7» است، چون نقیضِ «بزرگ‌تر از» (>) دقیقاً «کوچک‌تر یا مساویِ» (≤) همان عدد است، نه «کوچک‌تر از» به‌تنهایی (که مقدارِ x=7 را فراموش می‌کند). 🔑 تلهٔ تستی: نقیضِ نامساویِ اکید (< یا >) همیشه نامساویِ غیراکیدِ جهتِ مخالف است (≤ یا ≥)، نه نامساویِ اکیدِ جهتِ مخالف؛ این یکی از پرتکرارترین تله‌های بخشِ نقیض در کنکور است.

3. در ترکیب عطفی p∧q این گزاره چه زمانی درست است؟

  • وقتی حداقل یکی درست باشد
  • فقط وقتی هر دو درست باشند
  • وقتی هر دو نادرست باشند
  • وقتی دقیقاً یکی درست باشد

پاسخنامه‌ی تحلیلی

گزینهٔ درست «فقط وقتی هر دو درست باشند» است، چون طبقِ تعریفِ ترکیبِ عطفی (∧)، این ترکیب فقط زمانی درست است که هر دو گزارهٔ p و q هم‌زمان درست باشند؛ در هر سه حالتِ دیگر (حداقل یکی نادرست) عطفی نادرست می‌شود. 🔑 تلهٔ تستی: عطفی (∧) را با فصلی (∨) اشتباه نگیر—عطفی «سخت‌گیر» است (هر دو باید درست باشند) درحالی‌که فصلی «سهل‌گیر» است (یکی کافی است).

4. در ترکیب فصلی p∨q این گزاره چه زمانی نادرست است؟

  • فقط وقتی هر دو درست باشند
  • وقتی دقیقاً یکی درست باشد
  • فقط وقتی هر دو نادرست باشند
  • وقتی یکی درست و دیگری نادرست باشد

پاسخنامه‌ی تحلیلی

گزینهٔ درست «فقط وقتی هر دو نادرست باشند» است، چون طبقِ تعریفِ ترکیبِ فصلی (∨)، این ترکیب فراگیر است و فقط وقتی هر دو طرف نادرست باشند، کل عبارت نادرست می‌شود؛ در هر سه حالتِ دیگر (حداقل یکی درست) فصلی درست است. 🔑 تلهٔ تستی: بسیاری فصلی را با یایِ انحصاریِ زبانِ روزمره اشتباه می‌گیرند و فکر می‌کنند وقتی هر دو درست باشند فصلی نادرست می‌شود؛ در منطقِ ریاضی، «یا» فراگیر است.

5. در منطق ریاضی منظور از یا در p∨q چیست؟

  • حداقل یکی درست باشد کافی است
  • فقط یکی باید درست باشد
  • هر دو باید نادرست باشند
  • یا انحصاری است

پاسخنامه‌ی تحلیلی

گزینهٔ درست «حداقل یکی درست باشد کافی است» است، چون در منطقِ ریاضی، رابطِ ∨ فراگیر (inclusive) است و هر دو گزاره هم‌زمان درست بودن هم مجاز است—کافی است حداقل یکی از دو طرف درست باشد. 🔑 تلهٔ تستی: در زبانِ روزمره «یا» اغلب انحصاری فهمیده می‌شود (مثلِ «یا چای یا قهوه»)، اما در منطقِ ریاضی همیشه فراگیر است؛ این تفاوت یکی از رایج‌ترین نکاتِ کنکوری است.

6. در گزاره شرطی p⇒q کدام حالت نادرست است؟

  • p درست و q درست
  • p نادرست و q درست
  • p درست و q نادرست
  • p نادرست و q نادرست

پاسخنامه‌ی تحلیلی

گزینهٔ درست «p درست و q نادرست» است، چون طبقِ تعریفِ شرطی، تنها حالتی که p⇒q نادرست می‌شود دقیقاً همین حالت است (مقدمِ درست با تالیِ نادرست)؛ در هر سه حالتِ دیگر شرطی درست است. 🔑 تلهٔ تستی: انتفایِ مقدم (وقتی p نادرست است) همیشه شرطی را درست می‌کند، صرف‌نظر از ارزشِ q؛ این نکته باعثِ اشتباهِ بسیاری از دانش‌آموزان می‌شود که فکر می‌کنند p نادرست هم می‌تواند شرطی را نادرست کند.

7. در گزاره دوشرطی p⇔q چه زمانی گزاره درست است؟

  • وقتی p و q هم ارزش باشند
  • وقتی فقط q نادرست باشد
  • وقتی حداقل یکی درست باشد
  • وقتی فقط p درست باشد

پاسخنامه‌ی تحلیلی

گزینهٔ درست «وقتی p و q هم ارزش باشند» است، چون طبقِ تعریفِ دوشرطی (⇔)، این ترکیب دقیقاً وقتی درست است که p و q ارزشِ یکسانی داشته باشند (هر دو درست یا هر دو نادرست). 🔑 تلهٔ تستی: برایِ تشخیصِ سریعِ ارزشِ p⇔q کافی است بپرسی «آیا ارزشِ p و q یکسان است؟»—اگر بله، دوشرطی درست است؛ در غیرِ این صورت نادرست.

8. کدام هم ارزی درست است؟

  • p⇒q≡p∧q
  • p⇒q≡∼p∧q
  • p⇒q≡p∨q
  • p⇒q≡∼p∨q

پاسخنامه‌ی تحلیلی

گزینهٔ درست «p⇒q≡∼p∨q» است؛ این هم‌ارزیِ پایه‌ای با جدولِ ارزش قابلِ‌تأیید است: هر دو طرف فقط در حالتِ p=درست و q=نادرست، نادرست می‌شوند و در بقیهٔ حالات درست‌اند. 🔑 تلهٔ تستی: این هم‌ارزی (p⇒q≡∼p∨q) پایهٔ تبدیلِ شرطی به فرمِ فصلی است و در اکثرِ سؤالاتِ ساده‌سازیِ منطقی کاربرد مستقیم دارد؛ حفظ‌کردنِ آن یکی از مهم‌ترین ابزارهای این فصل است.

9. کدام گزینه نقیض عکس p⇒q است؟

  • ∼p⇒∼q
  • ∼q⇒∼p
  • p⇔q
  • q⇒p

پاسخنامه‌ی تحلیلی

گزینهٔ درست «∼q⇒∼p» است، چون نقیضِ عکسِ گزارهٔ شرطیِ p⇒q با نقیض‌کردنِ هر دو طرف و جابه‌جاکردنشان ساخته می‌شود: از تالی (q) به مقدم (p) با نقیضِ هر دو. 🔑 تلهٔ تستی: نقیضِ عکس (∼q⇒∼p) را با نقیضِ ساده (∼p⇒∼q) یا عکسِ ساده (q⇒p) اشتباه نگیر—فقط نقیضِ عکس با اصل همیشه هم‌ارز است؛ این پرتکرارترین هم‌ارزیِ کنکور است.

10. طبق قانون دمورگان نقیض p∨q کدام است؟

  • ∼p∨∼q
  • ∼p∧∼q
  • p∧q
  • ∼q⇒p

پاسخنامه‌ی تحلیلی

گزینهٔ درست «∼p∧∼q» است؛ طبقِ قانونِ دمورگان، نقیضِ فصلِ دو گزاره برابرِ عطفِ نقیض‌هاست: ∼(p∨q)≡∼p∧∼q. 🔑 تلهٔ تستی: در دمورگان، رابط همیشه عوض می‌شود (∨ به ∧ و برعکس)؛ اشتباهِ رایج این است که فقط گزاره‌ها نقیض شوند ولی رابط دست‌نخورده بماند.

مباحث مرتبط

تابع (انسانی)(ریاضی و آمار 2)آمار (انسانی)معادلۀ درجۀ دومتابع (انسانی)(ریاضی و آمار 1)کار با داده های آماری (انسانی)نمایش داده ها (انسانی)آمار و احتمال (انسانی)(ریاضی و آمار 3)الگوهای خطی (انسانی)الگوهای غیرخطی (انسانی)اصول انتخاب در کسب و کار

ادامه‌ی این مبحث رو ببین

با ثبت‌نام رایگان، به بانک کامل سؤال، شبیه‌ساز کنکور و تحلیل پیشرفت دسترسی داری

ثبت‌نام رایگان