[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-11951":193,"$fYXC8tacCbq_-ld0sdN3YA_qotJ_NHUi0EWA2SqZ5SCc":213},{"status":4,"data":5},1,[6,46,106,124,144],{"id":4,"title":7,"list_order":4,"items":8},"آشنایی",[9,15,19,23,30,34,38,42],{"id":10,"link":11,"type":12,"slug":13,"title":14},8,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F8","content",null,"قوانین و مقررات",{"id":16,"link":17,"type":12,"slug":13,"title":18},9,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F9","پرسش های متداول",{"id":20,"link":21,"type":12,"slug":13,"title":22},12,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F12","راهنمای عضویت",{"id":24,"link":25,"type":26,"slug":27,"handler":28,"title":29},132,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fmakemoney","special","makemoney","makeMoney","درآمدزایی در گاما",{"id":31,"link":32,"type":12,"slug":13,"title":33},13,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F13","راهنمای دبیران",{"id":35,"link":36,"type":12,"slug":13,"title":37},15,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F15","راهنمای دانش آموزان",{"id":39,"link":40,"type":12,"slug":13,"title":41},141,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F141","تغییرات اخیر",{"id":43,"link":44,"type":12,"slug":13,"title":45},69,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F69","نرم افزارهای كاربردی",{"id":47,"title":48,"list_order":4,"items":49},2,"المپیادها",[50,54,58,62,66,70,74,78,82,86,90,94,98,102],{"id":51,"link":52,"type":12,"slug":13,"title":53},4,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F4","المپیاد ریاضی",{"id":55,"link":56,"type":12,"slug":13,"title":57},19,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F19","المپیاد فیزیک",{"id":59,"link":60,"type":12,"slug":13,"title":61},20,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F20","المپیاد شیمی",{"id":63,"link":64,"type":12,"slug":13,"title":65},21,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F21","المپیاد زیست شناسی",{"id":67,"link":68,"type":12,"slug":13,"title":69},22,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F22","المپیاد کامپیوتر",{"id":71,"link":72,"type":12,"slug":13,"title":73},23,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F23","المپیاد نجوم",{"id":75,"link":76,"type":12,"slug":13,"title":77},24,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F24","المپیاد ادبی",{"id":79,"link":80,"type":12,"slug":13,"title":81},25,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F25","المپیاد سلول‌های بنیادی",{"id":83,"link":84,"type":12,"slug":13,"title":85},95,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F95","المپیاد جغرافیا",{"id":87,"link":88,"type":12,"slug":13,"title":89},114,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F114","المپیاد علوم زمین",{"id":91,"link":92,"type":12,"slug":13,"title":93},115,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F115","المپیاد مدیریت، اقتصاد و حکمرانی",{"id":95,"link":96,"type":12,"slug":13,"title":97},140,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F140","المپیاد سواد رسانه‌ای",{"id":99,"link":100,"type":12,"slug":13,"title":101},136,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F136","المپیاد نانو",{"id":103,"link":104,"type":12,"slug":13,"title":105},151,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F151","المپیاد هوش مصنوعی",{"id":107,"title":108,"list_order":4,"items":109},3,"نمونه و تیزهوشان",[110,114,119],{"id":111,"link":112,"type":12,"slug":13,"title":113},26,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F26","آزمون ورودی پایه چهارم",{"id":115,"link":116,"type":26,"slug":117,"handler":117,"title":118},27,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas6","khas6","آزمون ورودی پایه هفتم",{"id":120,"link":121,"type":26,"slug":122,"handler":122,"title":123},28,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkhas9","khas9","آزمون ورودی پايه دهم",{"id":125,"title":126,"list_order":4,"items":127},7,"کتابهای درسی",[128,132,136,140],{"id":129,"link":130,"type":12,"slug":13,"title":131},43,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F43","دوره دبستان",{"id":133,"link":134,"type":12,"slug":13,"title":135},48,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F48","دوره اول متوسطه",{"id":137,"link":138,"type":12,"slug":13,"title":139},49,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F49","دوره دوم متوسطه",{"id":141,"link":142,"type":12,"slug":13,"title":143},50,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F50","بارم بندی دروس",{"id":10,"title":145,"list_order":10,"items":146},"پیشنهاد ویژه",[147,152,157,162,167,172,177,181,185,189],{"id":148,"link":149,"type":26,"slug":150,"handler":150,"title":151},108,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang6th","hamahang6th","امتحانات هماهنگ ششم",{"id":153,"link":154,"type":26,"slug":155,"handler":155,"title":156},71,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fhamahang9th","hamahang9th","امتحانات هماهنگ نهم",{"id":158,"link":159,"type":26,"slug":160,"handler":160,"title":161},147,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei10th","nahaei10th","امتحان نهایی دهم",{"id":163,"link":164,"type":26,"slug":165,"handler":165,"title":166},148,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei11th","nahaei11th","امتحان نهایی یازدهم",{"id":168,"link":169,"type":26,"slug":170,"handler":170,"title":171},94,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fnahaei12th","nahaei12th","امتحان نهایی دوازدهم",{"id":173,"link":174,"type":12,"slug":175,"title":176},68,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fkonkur","konkur","بیست‌وسه سال کنکور سراسری",{"id":178,"link":179,"type":12,"slug":13,"title":180},67,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F67","ويژه نامه نوبت دوم",{"id":182,"link":183,"type":12,"slug":13,"title":184},64,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F64","آزمون‌های نوبت دوم",{"id":186,"link":187,"type":12,"slug":13,"title":188},78,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F78","آزمون‌های نوبت اول",{"id":190,"link":191,"type":12,"slug":13,"title":192},90,"https:\u002F\u002Fgama.ir\u002Fpage\u002Fshow\u002F90","آزمون سنجش آغازین",{"id":194,"section":178,"base":195,"course":196,"lesson":197,"title":198,"cat":199,"pic":200,"info_graphic":13,"podcast":13,"body":201,"tags":202,"metadata":13,"featured":205,"status":4,"views":43,"subdate":206,"up_date":207,"first_name":208,"last_name":209,"avatar":13,"cat_title":210,"subdate_jalali":211,"update_jalali":212},11951,1168,1182,2582,"نماد نتیجه دادن: نماد ⇒ که نشان می‌دهد از یک گزاره، گزارهٔ بعدی نتیجه می‌شود",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FQUqqu2YN5HEklD9jLgHI_800.png","\u003Cdiv id=\"microecon-article\" dir=\"rtl\" role=\"article\" aria-label=\"نماد نتیجه‌گیری در منطق و ریاضیات\" style=\"box-sizing: border-box; width: 100%; max-width: 980px; margin: 16px auto; padding: 16px; background: #ffffff; font-family: IRANSans, Tahoma, Arial, sans-serif; color: #667085; line-height: 1.8; word-break: break-word; : \">\r\n\r\n\u003Ch2 style=\"margin: 0 0 6px 0; font-size: 22px; font-weight: 800; color: #344054; : \">⇒ نماد نتیجه‌دهی؛ پلی از فرض به قطعیت\u003C\u002Fh2>\r\n\u003Cdiv style=\"margin-top: 4px; font-size: 13px; opacity: .95; color: #667085; : \">آشنایی با مفهوم استلزام، جدول درستی و کاربرد آن در استدلال‌های روزمره و ریاضی\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin: 14px 0 16px 0; padding: 12px 14px; border: 1px solid #ffb600; border-radius: 12px; background: #fff8e1; color: #667085; : \">\r\nنماد ⇒ که آن را «نتیجه می‌دهد» یا «اگر‌، آن‌گاه» می‌خوانیم، یکی از کلیدی‌ترین نمادها در منطق\u003Csup>1\u003C\u002Fsup> و ریاضیات است. این نماد رابطه‌ای شرطی بین دو گزاره برقرار می‌کند و نشان می‌دهد که اگر گزارهٔ اول (مقدمه) درست باشد، آن‌گاه گزارهٔ دوم (تالی) نیز حتماً درست خواهد بود. در این مقاله با زبانی ساده و مثال‌های فراوان، با این نماد، جدول درستی آن، و نقش بی‌بدیلش در اثبات‌های ریاضی و حتی زندگی روزمره آشنا می‌شویم.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">۱. مفهوم استلزام یا اگر-آن‌گاه\u003C\u002Fh3>\r\n\r\nدر زندگی روزمره مدام از جملات شرطی استفاده می‌کنیم: «اگر هوا بارانی باشد، چترم را برمی‌دارم.» در منطق و ریاضیات، این ساختار را با دقت بیشتری بررسی می‌کنیم. نماد \u003Cspan style=\"display: inline-block; padding: 4px 8px; border-radius: 999px; font-size: 12px; line-height: 1; vertical-align: baseline; background: #fff3c4; color: #24292f; : \">⇒\u003C\u002Fspan> دقیقاً همین نقش را ایفا می‌کند. عبارت \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\Rightarrow Q$\u003C\u002Fspan> را به این صورت می‌خوانیم: «اگر P نتیجه دهد Q» یا «از P، Q نتیجه می‌شود».\r\n\r\nدر اینجا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> را «مقدمه» و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> را «تالی» می‌نامیم. خاصیت اصلی استلزام این است که صدق تالی را به شرط صدق مقدمه تضمین می‌کند.\r\n\r\nبرای درک بهتر، بیایید یک مثال سادهٔ ریاضی ببینیم:\r\n\u003Cbr>\r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">$x > 5 \\Rightarrow x > 2$\u003C\u002Fspan>\r\n\u003Cbr>\r\nیعنی: «اگر عددی بزرگتر از \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">5\u003C\u002Fspan> باشد، آن‌گاه حتماً بزرگتر از \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">2\u003C\u002Fspan> نیز هست.» این گزاره همیشه درست است، زیرا شرط بزرگتر بودن از \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">5\u003C\u002Fspan>، بزرگتر بودن از \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">2\u003C\u002Fspan> را به دنبال دارد.\r\n\r\n\u003Cdiv style=\"margin: 0 0 16px 0; padding: 12px 14px; border-radius: 12px; background: #fff7e6; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; : \">\r\n\u003Cstrong>نکته:\u003C\u002Fstrong> دقت کنید که نماد ⇒ جهت‌دار است. \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\Rightarrow Q$\u003C\u002Fspan> با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q \\Rightarrow P$\u003C\u002Fspan> تفاوت اساسی دارد. در مثال بالا، عکس گزاره یعنی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x > 2 \\Rightarrow x > 5$\u003C\u002Fspan> نادرست است، زیرا اعداد \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">3\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">4\u003C\u002Fspan> این شرط را نقض می‌کنند.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">۲. جدول درستی استلزام\u003C\u002Fh3>\r\n\r\nبرای اینکه دقیقاً بدانیم یک گزارهٔ شرطی چه زمانی درست و چه زمانی نادرست است، از جدول درستی استفاده می‌کنیم. در منطق دو-ارزشی، هر گزاره یا «درست» است یا «نادرست». حالت‌های ممکن برای \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q$\u003C\u002Fspan> چهار حالت است. تنها حالتی که استلزام \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\Rightarrow Q$\u003C\u002Fspan> نادرست می‌شود، زمانی است که مقدمه درست باشد ولی تالی نادرست.\r\n\r\n\u003Cdiv role=\"region\" aria-label=\"جدول درستی استلزام\" style=\"box-sizing: border-box; margin: 8px 0 16px 0; padding: 0; border: 1px solid #e5e7eb; border-radius: 12px; overflow: auto; -webkit-overflow-scrolling: touch; : \">\r\n\u003Ctable style=\"box-sizing: border-box; width: 100%; min-width: 600px; border-collapse: collapse; : \">\r\n\u003Cthead>\r\n\u003Ctr>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">P\u003C\u002Fspan>\u003C\u002Fth>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">Q\u003C\u002Fspan>\u003C\u002Fth>\r\n\u003Cth style=\"box-sizing: border-box; text-align: right; padding: 10px 12px; background: #24292f; color: #ffffff; font-size: 13px; font-weight: 700; border-bottom: 1px solid #1f2328; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">P ⇒ Q\u003C\u002Fspan>\u003C\u002Fth>\r\n\u003C\u002Ftr>\r\n\u003C\u002Fthead>\r\n\u003Ctbody>\r\n\u003Ctr style=\"background: #ffffff; : \">\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">درست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">درست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">\u003Cspan style=\"display: inline-block; border-radius: 999px; padding: 2px 8px; font-size: 12px; font-weight: 700; line-height: 1; vertical-align: baseline; background: #dcfce7; color: #166534; : \">درست\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #f8fafc; : \">\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">درست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نادرست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">\u003Cspan style=\"display: inline-block; border-radius: 999px; padding: 2px 8px; font-size: 12px; font-weight: 700; line-height: 1; vertical-align: baseline; background: #fee2e2; color: #991b1b; : \">نادرست\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #ffffff; : \">\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نادرست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">درست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">\u003Cspan style=\"display: inline-block; border-radius: 999px; padding: 2px 8px; font-size: 12px; font-weight: 700; line-height: 1; vertical-align: baseline; background: #dcfce7; color: #166534; : \">درست\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003Ctr style=\"background: #f8fafc; : \">\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نادرست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">نادرست\u003C\u002Ftd>\r\n\u003Ctd style=\"box-sizing: border-box; padding: 10px 12px; border-bottom: 1px solid #edf2f7; text-align: right; color: #667085; : \">\u003Cspan style=\"display: inline-block; border-radius: 999px; padding: 2px 8px; font-size: 12px; font-weight: 700; line-height: 1; vertical-align: baseline; background: #dcfce7; color: #166534; : \">درست\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\nاین جدول شاید در نگاه اول عجیب به نظر برسد، خصوصاً دو سطر آخر که می‌گویند از مقدمهٔ نادرست، هر نتیجه‌ای (چه درست، چه نادرست) حاصل شود، گزارهٔ شرطی کلی درست است! این همان مفهوم «خلأ صدق» است. برای روشن شدن موضوع، به این مثال توجه کنید:\r\n\u003Cbr>\r\n«اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$1=2$\u003C\u002Fspan> باشد، آن‌گاه \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$3=3$\u003C\u002Fspan> است.»\r\nاین جمله را به عنوان یک کل در نظر بگیرید. از آنجایی که \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$1=2$\u003C\u002Fspan> هرگز درست نیست، ما هرگز در موقعیتی قرار نمی‌گیریم که بتوانیم نقضش کنیم. پس این گزارهٔ شرطی، نقیض‌ناپذیر و در نتیجه درست است.\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">۳. کاربرد عملی در اثبات‌های ریاضی\u003C\u002Fh3>\r\n\r\nنماد ⇒ ستون فقرات اثبات‌های ریاضی است. یک قضیهٔ ریاضی غالباً به صورت یک استلزام ظاهر می‌شود: «اگر (فرض‌های قضیه) آن‌گاه (نتیجهٔ قضیه).» برای اثبات چنین قضیه‌ای، ریاضیدان فرض می‌کند که مقدمه درست است و با استفاده از زنجیره‌ای از استدلال‌های منطقی که هر یک به شکل \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$A \\Rightarrow B$\u003C\u002Fspan> هستند، نشان می‌دهد که تالی نیز حتماً درست خواهد بود.\r\n\r\nبه این زنجیرهٔ ساده توجه کنید:\r\n\u003Cbr>\r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">$(x = 3) \\Rightarrow (x^2 = 9) \\Rightarrow (x^2 + 1 = 10)$\u003C\u002Fspan>\r\n\u003Cbr>\r\nاین زنجیره نشان می‌دهد که اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x=3$\u003C\u002Fspan> باشد، آن‌گاه نتیجه می‌شود که \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x^2+1=10$\u003C\u002Fspan>.\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">۴. مثال عینی: استلزام در برنامه‌نویسی و زندگی\u003C\u002Fh3>\r\n\r\nفرض کنید یک اپلیکیشن هواشناسی دارید. گزاره‌ای به این شکل می‌نویسید:\r\n\u003Cbr>\r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">$\\text{(درصد بارش} \\ge 70\\text{)} \\Rightarrow \\text{(نمایش پیام "چتر همراه داشته باشید")}$\u003C\u002Fspan>\r\n\u003Cbr>\r\nاین یک استلزام ساده و عملی است. اگر شرط درصد بارش برقرار باشد (مقدمه درست)، برنامه موظف است پیام را نمایش دهد (تالی درست). اگر شرط برقرار نباشد، برنامه ممکن است پیام را نمایش دهد یا ندهد؛ اما اگر شرط برقرار باشد و پیام نمایش داده نشود، یعنی استلزام نقض شده و برنامه خطای منطقی دارد.\r\n\r\nدر زندگی روزمره نیز وقتی می‌گوییم «اگر درس بخوانی، قبول می‌شوی»، در حال بیان یک استلزام هستیم. قبول نشدن در عین درس خواندن، این ادعا را نقض می‌کند.\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">۵. چالش‌های مفهومی\u003C\u002Fh3>\r\n\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; : \">\r\n\u003Cdiv style=\"margin-bottom: 12px; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #ffffff; : \">\r\n\u003Cstrong>❓ چالش ۱: چرا استلزام با مقدمهٔ نادرست همیشه درست است؟ آیا این با عقل سلیم جور در می‌آید؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: بله، این یک قرارداد ریاضی برای حفظ یکپارچگی منطق است. به جملهٔ «اگر من رئیس‌جمهور مریخ باشم، آن‌گاه پیتزا باران می‌آید» فکر کنید. از آنجا که من رئیس‌جمهور مریخ نیستم، این جمله هیچ ادعای نادرستی دربارهٔ جهان واقع ندارد؛ بنابراین نمی‌توان آن را نادرست نامید. در منطق، گزاره‌ای که نادرست نیست، درست محسوب می‌شود.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin-bottom: 12px; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #ffffff; : \">\r\n\u003Cstrong>❓ چالش ۲: تفاوت \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\Rightarrow Q$\u003C\u002Fspan> با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q \\Rightarrow P$\u003C\u002Fspan> چیست؟ آیا این دو معادل‌اند؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: هرگز! \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\Rightarrow Q$\u003C\u002Fspan> یک جهت را مشخص می‌کند و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Q \\Rightarrow P$\u003C\u002Fspan> جهت عکس آن است. به مثال \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x=2 \\Rightarrow x^2=4$\u003C\u002Fspan> توجه کنید. این درست است. اما عکس آن یعنی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x^2=4 \\Rightarrow x=2$\u003C\u002Fspan> نادرست است، زیرا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x$\u003C\u002Fspan> می‌تواند \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$-2$\u003C\u002Fspan> باشد. این دو فقط در صورتی معادل‌اند که رابطهٔ دوطرفه یا همان «اگر و فقط اگر» (⇔) برقرار باشد.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #ffffff; : \">\r\n\u003Cstrong>❓ چالش ۳: چگونه می‌توانیم درستی یک استلزام را در یک مسئلهٔ ریاضی بررسی کنیم؟\u003C\u002Fstrong>\u003Cbr>\r\nپاسخ: بهترین راه، جست‌وجوی یک مثال نقض است. یعنی به دنبال حالتی بگردیم که مقدمه درست باشد اما تالی نادرست. اگر چنین حالتی پیدا کنیم، استلزام نادرست است. اگر نتوانیم چنین حالتی پیدا کنیم و یا نشان دهیم چنین حالتی غیرممکن است، استلزام درست خواهد بود. به عنوان مثال، برای رد کردن \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x>0 \\Rightarrow x>5$\u003C\u002Fspan> کافی است \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$x=1$\u003C\u002Fspan> را امتحان کنیم که مقدمه (\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$1>0$\u003C\u002Fspan>) درست اما تالی (\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$1>5$\u003C\u002Fspan>) نادرست است.\r\n\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin: 16px 0 0 0; padding: 12px 14px; border-radius: 12px; background: #fffdf3; border: 1px solid #ffb600; color: #24292f; : \">\r\n\u003Cstrong>در یک نگاه:\u003C\u002Fstrong> نماد \u003Cspan style=\"display: inline-block; padding: 4px 8px; border-radius: 999px; font-size: 12px; line-height: 1; vertical-align: baseline; background: #fff3c4; color: #24292f; : \">⇒\u003C\u002Fspan> یا استلزام، یکی از پایه‌های استدلال منطقی است. این نماد رابطه‌ای یک‌طرفه و شرطی بین دو گزاره برقرار می‌کند. تنها حالت نادرستی آن وقتی است که مقدمه درست و تالی نادرست باشد. درک درست این نماد برای فهم ریاضیات، فلسفه، علوم کامپیوتر و حتی تحلیل استدلال‌های روزمره ضروری است. با استفاده از مثال نقض می‌توان به سادگی اعتبار یک استلزام را محک زد.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"margin: 16px 0 8px 0; padding: 0 0 6px 0; border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; : \">پاورقی‌ها\u003C\u002Fh3>\r\n\u003Cdiv style=\"font-size: 13px; color: #667085; : \">\r\n\u003Csup>1\u003C\u002Fsup> منطق (Logic): دانش مطالعهٔ اصول درست‌اندیشی و استدلال معتبر.\r\n\u003C\u002Fdiv>\r\n\r\n\u003C\u002Fdiv>",[203,204],"نماد نتیجه دادن","",0,"2026-02-27 13:22:04","2026-07-16 01:34:09","ندا","بنی هاشمی","کپسول آموزشی","1404\u002F12\u002F8","1:34 1405\u002F04\u002F25",{"tests":214,"papers":215,"files":216,"questions":217,"exams":218,"tutorials":219,"blogs":220},[],[],[],[],[],[],[221,230,238,244,253,261,269,277,285,293,301,309],{"id":222,"title":223,"cat":199,"pic":224,"up_date":225,"title_url":226,"url":227,"legacy_url":228,"cat_title":210,"update_jalali":229},11217,"ریشه‌های زوجِ عدد منفی: برای n زوج و a","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002Fn2WIQNCL2H2GzV9dVDpd_200.png","2026-09-10 15:00:03","ریشههای-زوج-عدد-منفی-برای-n-زوج-و-a","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11217\u002Fریشههای-زوج-عدد-منفی-برای-n-زوج-و-a","https:\u002F\u002Fgama.ir\u002Fblog\u002F11217\u002Fریشههای-زوج-عدد-منفی-برای-n-زوج-و-a","1405\u002F06\u002F19",{"id":231,"title":232,"cat":199,"pic":233,"up_date":234,"title_url":235,"url":236,"legacy_url":237,"cat_title":210,"update_jalali":229},11218,"ریشه nامِ عدد منفی با n فرد: برای n فرد و a","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FJ6esTdw6Vp4ArxmEfAig_200.png","2026-09-10 14:58:02","ریشه-nام-عدد-منفی-با-n-فرد-برای-n-فرد-و-a","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11218\u002Fریشه-nام-عدد-منفی-با-n-فرد-برای-n-فرد-و-a","https:\u002F\u002Fgama.ir\u002Fblog\u002F11218\u002Fریشه-nام-عدد-منفی-با-n-فرد-برای-n-فرد-و-a",{"id":239,"title":223,"cat":199,"pic":240,"up_date":241,"title_url":226,"url":242,"legacy_url":243,"cat_title":210,"update_jalali":229},11257,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FVHnIs5E2Kbe1Slfxkrri_200.png","2026-09-10 14:55:57","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11257\u002Fریشههای-زوج-عدد-منفی-برای-n-زوج-و-a","https:\u002F\u002Fgama.ir\u002Fblog\u002F11257\u002Fریشههای-زوج-عدد-منفی-برای-n-زوج-و-a",{"id":245,"title":246,"cat":199,"pic":247,"up_date":248,"title_url":249,"url":250,"legacy_url":251,"cat_title":210,"update_jalali":252},11183,"کتانژانت زاویه: نسبت طول ضلع مجاور زاویه به طول ضلع مقابل آن و با cotA نمایش داده می‌شود","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FrsNRRg1ltHswJDM4FjYG_200.png","2026-08-17 15:19:01","کتانژانت-زاویه-نسبت-طول-ضلع-مجاور-زاویه-به-طول-ضلع-مقابل-آن-و-با-cotA-نمایش-داده-میشود","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11183\u002Fکتانژانت-زاویه-نسبت-طول-ضلع-مجاور-زاویه-به-طول-ضلع-مقابل-آن-و-با-cotA-نمایش-داده-میشود","https:\u002F\u002Fgama.ir\u002Fblog\u002F11183\u002Fکتانژانت-زاویه-نسبت-طول-ضلع-مجاور-زاویه-به-طول-ضلع-مقابل-آن-و-با-cotA-نمایش-داده-میشود","1405\u002F05\u002F26",{"id":254,"title":255,"cat":199,"pic":256,"up_date":257,"title_url":258,"url":259,"legacy_url":260,"cat_title":210,"update_jalali":252},11184,"رابطه tanA=sinA\u002FcosA : رابطه‌ای که تانژانت را نسبت سینوس به کسینوس همان زاویه بیان می‌کند","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FpPb6Jht9Ah2v7qKrB4NM_200.png","2026-08-17 15:16:44","رابطه-tanAsinAcosA-رابطهای-که-تانژانت-را-نسبت-سینوس-به-کسینوس-همان-زاویه-بیان-میکند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11184\u002Fرابطه-tanAsinAcosA-رابطهای-که-تانژانت-را-نسبت-سینوس-به-کسینوس-همان-زاویه-بیان-میکند","https:\u002F\u002Fgama.ir\u002Fblog\u002F11184\u002Fرابطه-tanAsinAcosA-رابطهای-که-تانژانت-را-نسبت-سینوس-به-کسینوس-همان-زاویه-بیان-میکند",{"id":262,"title":263,"cat":199,"pic":264,"up_date":265,"title_url":266,"url":267,"legacy_url":268,"cat_title":210,"update_jalali":252},11185,"تشابه مثلث‌ها: حالتی که زوایای نظیر دو مثلث برابر و نسبت ضلع‌های متناظر آن‌ها برابر باشد","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F7MLSl05BnI50CKdBFtOi_200.png","2026-08-17 15:15:43","تشابه-مثلثها-حالتی-که-زوایای-نظیر-دو-مثلث-برابر-و-نسبت-ضلعهای-متناظر-آنها-برابر-باشد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11185\u002Fتشابه-مثلثها-حالتی-که-زوایای-نظیر-دو-مثلث-برابر-و-نسبت-ضلعهای-متناظر-آنها-برابر-باشد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11185\u002Fتشابه-مثلثها-حالتی-که-زوایای-نظیر-دو-مثلث-برابر-و-نسبت-ضلعهای-متناظر-آنها-برابر-باشد",{"id":270,"title":271,"cat":199,"pic":272,"up_date":273,"title_url":274,"url":275,"legacy_url":276,"cat_title":210,"update_jalali":252},11186,"نسبت ضلع‌های متناظر: نسبت طول ضلع‌های هم‌جایگاه در دو مثلث متشابه که با هم برابر است","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FTGMVlR6KColKYtl2OXJB_200.png","2026-08-17 15:11:56","نسبت-ضلعهای-متناظر-نسبت-طول-ضلعهای-همجایگاه-در-دو-مثلث-متشابه-که-با-هم-برابر-است","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11186\u002Fنسبت-ضلعهای-متناظر-نسبت-طول-ضلعهای-همجایگاه-در-دو-مثلث-متشابه-که-با-هم-برابر-است","https:\u002F\u002Fgama.ir\u002Fblog\u002F11186\u002Fنسبت-ضلعهای-متناظر-نسبت-طول-ضلعهای-همجایگاه-در-دو-مثلث-متشابه-که-با-هم-برابر-است",{"id":278,"title":279,"cat":199,"pic":280,"up_date":281,"title_url":282,"url":283,"legacy_url":284,"cat_title":210,"update_jalali":252},11193,"گویا کردن مخرج: تبدیل مخرجِ رادیکالی به مخرجِ بدون رادیکال با انجام عمل‌های جبری مناسب","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FPK2wJk9G3fUOVHKgGL8S_200.png","2026-08-17 15:10:20","گویا-کردن-مخرج-تبدیل-مخرج-رادیکالی-به-مخرج-بدون-رادیکال-با-انجام-عملهای-جبری-مناسب","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11193\u002Fگویا-کردن-مخرج-تبدیل-مخرج-رادیکالی-به-مخرج-بدون-رادیکال-با-انجام-عملهای-جبری-مناسب","https:\u002F\u002Fgama.ir\u002Fblog\u002F11193\u002Fگویا-کردن-مخرج-تبدیل-مخرج-رادیکالی-به-مخرج-بدون-رادیکال-با-انجام-عملهای-جبری-مناسب",{"id":286,"title":287,"cat":199,"pic":288,"up_date":289,"title_url":290,"url":291,"legacy_url":292,"cat_title":210,"update_jalali":252},11194,"مدل ریاضی: نمایش یک مسئله واقعی به صورت روابط و شکل‌های ریاضی برای حل آن","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FYIqCyZdnR0nQqxSiZqY0_200.png","2026-08-17 15:08:12","مدل-ریاضی-نمایش-یک-مسئله-واقعی-به-صورت-روابط-و-شکلهای-ریاضی-برای-حل-آن","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11194\u002Fمدل-ریاضی-نمایش-یک-مسئله-واقعی-به-صورت-روابط-و-شکلهای-ریاضی-برای-حل-آن","https:\u002F\u002Fgama.ir\u002Fblog\u002F11194\u002Fمدل-ریاضی-نمایش-یک-مسئله-واقعی-به-صورت-روابط-و-شکلهای-ریاضی-برای-حل-آن",{"id":294,"title":295,"cat":199,"pic":296,"up_date":297,"title_url":298,"url":299,"legacy_url":300,"cat_title":210,"update_jalali":252},11195,"مساحت مثلث: مقدار ۱\u002F۲ حاصل‌ضرب قاعده در ارتفاع","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F2FoNVSulugFnf5Vat2zr_200.png","2026-08-17 15:06:54","مساحت-مثلث-مقدار-۱۲-حاصلضرب-قاعده-در-ارتفاع","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11195\u002Fمساحت-مثلث-مقدار-۱۲-حاصلضرب-قاعده-در-ارتفاع","https:\u002F\u002Fgama.ir\u002Fblog\u002F11195\u002Fمساحت-مثلث-مقدار-۱۲-حاصلضرب-قاعده-در-ارتفاع",{"id":302,"title":303,"cat":199,"pic":304,"up_date":305,"title_url":306,"url":307,"legacy_url":308,"cat_title":210,"update_jalali":252},11196,"فرمول مساحت با سینوس: مساحت مثلث برابر ۱\u002F۲ ضرب دو ضلع در سینوس زاویه بین آن‌هاست","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F6QtSJNFHDEyh5C9lMzmh_200.png","2026-08-17 15:04:03","فرمول-مساحت-با-سینوس-مساحت-مثلث-برابر-۱۲-ضرب-دو-ضلع-در-سینوس-زاویه-بین-آنهاست","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11196\u002Fفرمول-مساحت-با-سینوس-مساحت-مثلث-برابر-۱۲-ضرب-دو-ضلع-در-سینوس-زاویه-بین-آنهاست","https:\u002F\u002Fgama.ir\u002Fblog\u002F11196\u002Fفرمول-مساحت-با-سینوس-مساحت-مثلث-برابر-۱۲-ضرب-دو-ضلع-در-سینوس-زاویه-بین-آنهاست",{"id":310,"title":311,"cat":199,"pic":312,"up_date":313,"title_url":314,"url":315,"legacy_url":316,"cat_title":210,"update_jalali":252},11197,"زاویه مثبت: زاویه‌ای که با حرکت پادساعتگرد روی دایره مثلثاتی اندازه‌گیری می‌شود","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F48z8hXoF2xgR3Gv8aYap_200.png","2026-08-17 15:02:45","زاویه-مثبت-زاویهای-که-با-حرکت-پادساعتگرد-روی-دایره-مثلثاتی-اندازهگیری-میشود","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11197\u002Fزاویه-مثبت-زاویهای-که-با-حرکت-پادساعتگرد-روی-دایره-مثلثاتی-اندازهگیری-میشود","https:\u002F\u002Fgama.ir\u002Fblog\u002F11197\u002Fزاویه-مثبت-زاویهای-که-با-حرکت-پادساعتگرد-روی-دایره-مثلثاتی-اندازهگیری-میشود"]