نویسنده : محمد مطیعی
استقرا کِی به درد می خوره؟
معمولا وقتی ما می خوایم یه حکمی رو راجع به یه مساله ثابت بکنیم و اندازه ورودی مساله خیلی بزرگه (مثلا میخوایم یه حکمی رو راجع به یه جدول 2009*2009 ثابت کنیم) یا اینکه اندازه ورودی مساله نامعلومه (مثلا میخوایم یه حکمی رو راجع به n تا خط ثابت کنیم) یکی از روش هایی که می تونه تو اثبات اون حکم کمک ما کنه استقراست.
خب حالا استقرا چیکار میکنه؟
فرض کنید من میخوام از همکف دانشکده با پله ها برم طبقه 3. چیکار باید بکنم؟
- به نام او -
همونطور که می دونید استنتاج به معنی نتیجه گرفتن ـه یا به عبارت دیگه" اگر از درستی یک [ تعداد ] گزاره بتونیم درستی گزاره ی دیگه ای رو دقیقا مشخص کنیم " به این کار میگن استنتاج.
برای فهم بهتر و دقیق تر به تعریف دقیق استدلال (عملی که منجر به یک استنتاج میشه !) توجه کنید:
استدلال معتبر است اگر و فقط اگر
به نام او
در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.
بخش دوم) عملگر دو شرطی
این عملگر در صورتی مقدار TRUE دارد که هم و هم
مقدار TRUE داشته باشند. این یعنی
هم ارزِ
است.
تعابیر مختلف:
P اگر و فقط اگر q
به نام او
در این نوشته در 4بخش قصد داریم تا به بیان تفاوت های چند نمادِ به ظاهر مشابه در منطق و حساب گزاره ها بپردازیم.
1)
1) بخش اول) عملگر شرطی
تعابیر مختلف:
اگر p آنگاه q