[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-13029":193,"$f0y35ai-6E3GcANphMr3PaOm8n76FlsuSWKDIv0uOxU0":215},{"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":206,"status":4,"views":207,"subdate":208,"up_date":209,"first_name":210,"last_name":211,"avatar":13,"cat_title":212,"subdate_jalali":213,"update_jalali":214},13029,1170,1171,4927,"هم‌ارزی گزاره‌ها (اثبات بازگشتی): تبدیل گزاره به شکل‌های ساده‌تر معادل",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FoDaCGwxPZYOp7qNcRM5X_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در این مقاله با مفهوم \u003Cstrong>هم‌ارزی گزاره‌ها\u003C\u002Fstrong> و روش \u003Cstrong>اثبات بازگشتی\u003C\u002Fstrong> آشنا می‌شوید. می‌آموزید که چگونه با استفاده از قوانین پایه‌ای منطق مانند قوانین دمورگان\u003Csup>1\u003C\u002Fsup>، قانون توزیع‌پذیری\u003Csup>2\u003C\u002Fsup> و قانون حذف مضاعف نقیض\u003Csup>3\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\u003Cp>در منطق ریاضی، دو گزاره \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 \\equiv Q$\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\leftrightarrow Q$\u003C\u002Fspan> نشان می‌دهیم. روش اثبات بازگشتی یعنی با اعمال قوانین منطقی روی یک گزاره، بدون تغییر معنی آن، آن را به گزاره‌ای ساده‌تر تبدیل کنیم تا سرانجام به شکل استاندارد یا خیلی ساده برسیم. مهم‌ترین قوانین هم‌ارزی که در این روش استفاده می‌شوند عبارتند از:\u003C\u002Fp>\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قوانین پایهٔ هم‌ارزی:\r\n\u003Cbr>\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee F \\equiv P$\u003C\u002Fspan> (قوانین همانی)، \r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge T \\equiv P$\u003C\u002Fspan>،\r\n\u003Cbr>\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee \\neg P \\equiv T$\u003C\u002Fspan> (قانون طرد شق ثالث)،\r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge \\neg P \\equiv F$\u003C\u002Fspan> (قانون تناقض)،\r\n\u003Cbr>\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(\\neg P) \\equiv P$\u003C\u002Fspan> (نقیض مضاعف)،\r\n\u003Cbr>\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\wedge Q) \\equiv \\neg P \\vee \\neg Q$\u003C\u002Fspan> و \r\n\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\vee Q) \\equiv \\neg P \\wedge \\neg Q$\u003C\u002Fspan> (قوانین دمورگان).\r\n\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به عنوان یک مثال عملی، فرض کنید در یک مسئله، گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\wedge \\neg Q)$\u003C\u002Fspan> داریم. با اعمال قانون دمورگان و سپس قانون نقیض مضاعف، داریم: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\wedge \\neg Q) \\equiv \\neg P \\vee \\neg(\\neg Q) \\equiv \\neg P \\vee Q$\u003C\u002Fspan>. این تبدیل ساده، گواه هم‌ارزی گزاره اولیه با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg P \\vee Q$\u003C\u002Fspan> است که همان \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\to Q$\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\u003Cp>در روش اثبات بازگشتی، ما گزاره را به عنوان یک عبارت در نظر گرفته و در هر گام، یک قانون هم‌ارزی را روی یک زیرگزاره (یا کل گزاره) اعمال می‌کنیم تا شکل آن ساده‌تر شود. این فرایند تا رسیدن به ساده‌ترین شکل ممکن (اغلب \u003Cstrong>فرم نرمال فصلی\u003Csup>4\u003C\u002Fsup>\u003C\u002Fstrong> یا \u003Cstrong>فرم نرمال عطفی\u003Csup>5\u003C\u002Fsup>\u003C\u002Fstrong>) ادامه می‌یابد. در زیر یک مثال گام‌به‌گام آورده شده است:\u003C\u002Fp>\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گزاره اولیه: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\vee (P \\wedge Q)) \\wedge (\\neg Q \\vee P)$\u003C\u002Fspan>\u003Cbr>\r\n\u003Cstrong>گام ۱:\u003C\u002Fstrong> اعمال قانون جذب\u003Csup>6\u003C\u002Fsup> روی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee (P \\wedge Q) \\equiv P$\u003C\u002Fspan>\u003Cbr>\r\nنتیجه: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (\\neg Q \\vee P)$\u003C\u002Fspan>\u003Cbr>\r\n\u003Cstrong>گام ۲:\u003C\u002Fstrong> اعمال قانون جذب دوباره (این بار \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (\\neg Q \\vee P) \\equiv P$\u003C\u002Fspan>)\u003Cbr>\r\nنتیجه نهایی: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan>\u003Cbr>\r\nبنابراین گزاره اولیه با متغیر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> هم‌ارز است.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cp>برای اثبات هم‌ارزی دو گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$A$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$B$\u003C\u002Fspan> با روش بازگشتی، می‌توانیم \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$A$\u003C\u002Fspan> را گام‌به‌گام به \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$B$\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> متغیر) از جدول حقیقت با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$8$\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$16$\u003C\u002Fspan> سطر، بسیار کارآمدتر است.\u003C\u002Fp>\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 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; : \">نام قانون\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; : \">شکل هم‌ارزی (به زبان ریاضی)\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(\\neg P) \\equiv P$\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\wedge Q) \\equiv \\neg P \\vee \\neg Q$\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg(P \\vee Q) \\equiv \\neg P \\wedge \\neg Q$\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee (P \\wedge Q) \\equiv P$\u003C\u002Fspan> , \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (P \\vee Q) \\equiv P$\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee (Q \\wedge R) \\equiv (P \\vee Q) \\wedge (P \\vee R)$\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; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\to Q \\equiv \\neg P \\vee Q$\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003C\u002Ftbody>\r\n\u003C\u002Ftable>\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\u003Cp>فرض کنید در یک سیستم امنیتی، شرط دسترسی به این صورت تعریف شده است: «اگر کاربر رمز درست وارد کند (\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; : \">$R$\u003C\u002Fspan>))». یعنی گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (Q \\vee R)$\u003C\u002Fspan>. حال امنیت‌سامانه ادعا می‌کند این شرط معادل گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\wedge Q) \\vee (P \\wedge R)$\u003C\u002Fspan> است. برای اثبات با روش بازگشتی از قانون توزیع‌پذیری استفاده می‌کنیم:\u003C\u002Fp>\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\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (Q \\vee R) \\equiv (P \\wedge Q) \\vee (P \\wedge R)$\u003C\u002Fspan>\r\n\u003C\u002Fdiv>\r\n\u003Cp>بدین ترتیب هم‌ارزی دو گزاره اثبات می‌شود. این نشان می‌دهد که شرط دسترسی را می‌توان به صورت «(رمز درست و اثر انگشت تأیید) یا (رمز درست و کارت معتبر)» نیز نوشت که معادل همان گزاره اولیه است.\u003C\u002Fp>\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=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; : \">\r\n\u003Cstrong>۱. آیا اثبات بازگشتی همیشه به جواب می‌رسد؟ چه زمانی ممکن است حلقه بزنیم؟\u003C\u002Fstrong>\r\n\u003Cdiv style=\"margin-top: 8px; : \">بله، اگر قوانین را درست و به سمت ساده‌سازی اعمال کنید، فرایند خاتمه می‌یابد زیرا در هر گام یا طول گزاره کاهش می‌یابد یا عملگرهای تکراری حذف می‌شوند. حلقه زمانی رخ می‌دهد که قانون نقیض مضاعف را بی‌جهت رفت و برگشت بزنید (مثلاً \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\equiv \\neg \\neg P \\equiv \\neg \\neg \\neg \\neg P$\u003C\u002Fspan>). برای جلوگیری، همیشه به سمت حذف نقیض‌های اضافی حرکت کنید.\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; : \">\r\n\u003Cstrong>۲. تفاوت اثبات بازگشتی با جدول حقیقت چیست و چه مزیتی دارد؟\u003C\u002Fstrong>\r\n\u003Cdiv style=\"margin-top: 8px; : \">جدول حقیقت همه حالت‌ها را بررسی می‌کند (تعداد سطرها \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$2^n$\u003C\u002Fspan>) و برای \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$n\\ge 4$\u003C\u002Fspan> خسته‌کننده می‌شود. اثبات بازگشتی با استفاده از قوانین، مسیر استدلالی کوتاه‌تر و مفهومی‌تر دارد و خطای انسانی در آن کمتر است.\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; : \">\r\n\u003Cstrong>۳. چگونه بفهمیم به ساده‌ترین شکل ممکن رسیده‌ایم؟\u003C\u002Fstrong>\r\n\u003Cdiv style=\"margin-top: 8px; : \">نشانه‌های ساده‌ترین شکل (فرم نرمال) عبارتند از: حداکثر یک نقیض روی هر متغیر (و نه روی عبارات مرکب)، نبود عملگرهای شرطی و دوشرطی، و عدم امکان اعمال قانون توزیع‌پذیری یا جذب بیشتر. اگر نتوان هیچ قانونی را اعمال کرد، به شکل حداقلی رسیده‌اید.\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> روش اثبات بازگشتی ابزاری قدرتمند برای اثبات هم‌ارزی گزاره‌ها بدون نیاز به جدول حقیقت عظیم است. با تسلط بر قوانین پایهٔ منطق (به‌ویژه قوانین دمورگان، توزیع‌پذیری، جذب و نقیض مضاعف) می‌توان هر گزارهٔ پیچیده را گام به گام به شکل ساده و معادل آن تبدیل کرد. این روش درک عمیق‌تری از ساختار منطقی گزاره‌ها به دانش‌آموز می‌دهد و در طراحی مدارهای دیجیتال، اثبات قضایا و بهینه‌سازی شرایط در برنامه‌نویسی کاربرد گسترده دارد.\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>\r\n\u003Csup>1\u003C\u002Fsup> قوانین دمورگان (De Morgan's laws): دو قانون هم‌ارزی که نقیض عطف را به فصل نقیض‌ها و نقیض فصل را به عطف نقیض‌ها تبدیل می‌کند.\u003Cbr>\r\n\u003Csup>2\u003C\u002Fsup> قانون توزیع‌پذیری (Distributive law): قاعده‌ای که بر اساس آن \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (Q \\vee R)$\u003C\u002Fspan> با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\wedge Q) \\vee (P \\wedge R)$\u003C\u002Fspan> و همچنین \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee (Q \\wedge R)$\u003C\u002Fspan> با \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\vee Q) \\wedge (P \\vee R)$\u003C\u002Fspan> هم‌ارز است.\u003Cbr>\r\n\u003Csup>3\u003C\u002Fsup> قانون حذف مضاعف نقیض (Double negation elimination): قاعده‌ای که می‌گوید نقیض نقیض یک گزاره معادل خود گزاره است: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\neg \\neg P \\equiv P$\u003C\u002Fspan>.\u003Cbr>\r\n\u003Csup>4\u003C\u002Fsup> فرم نرمال فصلی (Disjunctive Normal Form - DNF): فرمی از یک گزاره که به صورت فصل (یا) چند عبارت عطفی (و) از متغیرها یا نقیض متغیرها نوشته می‌شود.\u003Cbr>\r\n\u003Csup>5\u003C\u002Fsup> فرم نرمال عطفی (Conjunctive Normal Form - CNF): فرمی از یک گزاره که به صورت عطف (و) چند عبارت فصلی (یا) از متغیرها یا نقیض متغیرها نوشته می‌شود.\u003Cbr>\r\n\u003Csup>6\u003C\u002Fsup> قانون جذب (Absorption law): دو هم‌ارزی \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\vee (P \\wedge Q) \\equiv P$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\wedge (P \\vee Q) \\equiv P$\u003C\u002Fspan> که در ساده‌سازی گزاره‌ها بسیار کاربردی است.\r\n\u003C\u002Fdiv>\r\n\r\n\u003C\u002Fdiv>",[203,204,205],"پایهٔ دوازدهم","ریاضیات گسسته دوازدهم","هم‌ارزی گزاره‌ها",0,214,"2026-05-06 03:16:39","2026-09-11 21:42:15","سحر","شیرزاد","کپسول آموزشی","1405\u002F02\u002F16","21:42 1405\u002F06\u002F20",{"tests":216,"papers":217,"files":218,"questions":219,"exams":220,"tutorials":221,"blogs":222},[],[],[],[],[],[],[223,232,240,248,256,264,272,280,288,296,304,313],{"id":224,"title":225,"cat":199,"pic":226,"up_date":227,"title_url":228,"url":229,"legacy_url":230,"cat_title":212,"update_jalali":231},13014,"درستی گزاره (صدق): حالتی که گزاره صحیح باشد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FtIfY5hTDq9uklTTwE2rz_200.png","2026-09-13 10:37:04","درستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13014\u002Fدرستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13014\u002Fدرستی-گزاره-صدق-حالتی-که-گزاره-صحیح-باشد","1405\u002F06\u002F22",{"id":233,"title":234,"cat":199,"pic":235,"up_date":236,"title_url":237,"url":238,"legacy_url":239,"cat_title":212,"update_jalali":231},13015,"نادرستی گزاره (کذب): حالتی که گزاره غلط باشد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FnC9NHaQyPaFx8KyaBbY5_200.png","2026-09-13 10:33:13","نادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13015\u002Fنادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13015\u002Fنادرستی-گزاره-کذب-حالتی-که-گزاره-غلط-باشد",{"id":241,"title":242,"cat":199,"pic":243,"up_date":244,"title_url":245,"url":246,"legacy_url":247,"cat_title":212,"update_jalali":231},13016,"مثال نقض: نمونه‌ای که یک گزاره کلی را رد می‌کند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F9ZxXQUD1UrewPoWG9MEa_200.png","2026-09-13 10:30:53","مثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13016\u002Fمثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13016\u002Fمثال-نقض-نمونهای-که-یک-گزاره-کلی-را-رد-میکند",{"id":249,"title":250,"cat":199,"pic":251,"up_date":252,"title_url":253,"url":254,"legacy_url":255,"cat_title":212,"update_jalali":231},13017,"حکم کلی: گزاره‌ای که برای همه حالت‌ها ادعا دارد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FEP0GI5qQsu3th91qXnY3_200.png","2026-09-13 10:28:33","حکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13017\u002Fحکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13017\u002Fحکم-کلی-گزارهای-که-برای-همه-حالتها-ادعا-دارد",{"id":257,"title":258,"cat":199,"pic":259,"up_date":260,"title_url":261,"url":262,"legacy_url":263,"cat_title":212,"update_jalali":231},13018,"اثبات مستقیم: اثباتی که از فرض به نتیجه به‌صورت مستقیم می‌رسد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FDABIp6WAehXkKXsSG9FX_200.png","2026-09-13 10:24:30","اثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13018\u002Fاثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد","https:\u002F\u002Fgama.ir\u002Fblog\u002F13018\u002Fاثبات-مستقیم-اثباتی-که-از-فرض-به-نتیجه-بهصورت-مستقیم-میرسد",{"id":265,"title":266,"cat":199,"pic":267,"up_date":268,"title_url":269,"url":270,"legacy_url":271,"cat_title":212,"update_jalali":231},13019,"اعداد متوالی: اعدادی که پشت‌سرهم با فاصله ۱ قرار دارند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FMQxKxC1tfajqKjaX6rsG_200.png","2026-09-13 10:21:49","اعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13019\u002Fاعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13019\u002Fاعداد-متوالی-اعدادی-که-پشتسرهم-با-فاصله-۱-قرار-دارند",{"id":273,"title":274,"cat":199,"pic":275,"up_date":276,"title_url":277,"url":278,"legacy_url":279,"cat_title":212,"update_jalali":231},13020,"اثبات با بررسی همه حالت‌های ممکن","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FVXnKVCXmXgkUVE32J59s_200.png","2026-09-13 10:19:40","اثبات-با-بررسی-همه-حالتهای-ممکن","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13020\u002Fاثبات-با-بررسی-همه-حالتهای-ممکن","https:\u002F\u002Fgama.ir\u002Fblog\u002F13020\u002Fاثبات-با-بررسی-همه-حالتهای-ممکن",{"id":281,"title":282,"cat":199,"pic":283,"up_date":284,"title_url":285,"url":286,"legacy_url":287,"cat_title":212,"update_jalali":231},13021,"گزاره شرطی","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FCybtTp6I2uiF6cc7dz25_200.png","2026-09-13 10:16:51","گزاره-شرطی","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13021\u002Fگزاره-شرطی","https:\u002F\u002Fgama.ir\u002Fblog\u002F13021\u002Fگزاره-شرطی",{"id":289,"title":290,"cat":199,"pic":291,"up_date":292,"title_url":293,"url":294,"legacy_url":295,"cat_title":212,"update_jalali":231},13022,"هم‌ارزی منطقی: داشتن ارزش منطقی یکسان بین دو گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FGYn2mG9hAqsZs8tfDydF_200.png","2026-09-13 10:14:05","همارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13022\u002Fهمارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F13022\u002Fهمارزی-منطقی-داشتن-ارزش-منطقی-یکسان-بین-دو-گزاره",{"id":297,"title":298,"cat":199,"pic":299,"up_date":300,"title_url":301,"url":302,"legacy_url":303,"cat_title":212,"update_jalali":231},13023,"ترکیب دوشرطی (↔): گزاره‌ای که دو طرف آن هم‌ارز باشند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F1xjn7Jz5lwPOY4qyasjr_200.png","2026-09-13 10:11:29","ترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13023\u002Fترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند","https:\u002F\u002Fgama.ir\u002Fblog\u002F13023\u002Fترکیب-دوشرطی-گزارهای-که-دو-طرف-آن-همارز-باشند",{"id":305,"title":306,"cat":199,"pic":307,"up_date":308,"title_url":309,"url":310,"legacy_url":311,"cat_title":212,"update_jalali":312},13081,"درجهٔ رأس در گراف: تعداد یال‌های متصل به یک رأس در گراف","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FO0GeuBsv0VFDPo5mvRES_200.png","2026-09-12 21:20:01","درجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13081\u002Fدرجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","https:\u002F\u002Fgama.ir\u002Fblog\u002F13081\u002Fدرجه-رأس-در-گراف-تعداد-یالهای-متصل-به-یک-رأس-در-گراف","1405\u002F06\u002F21",{"id":314,"title":315,"cat":199,"pic":316,"up_date":317,"title_url":318,"url":319,"legacy_url":320,"cat_title":212,"update_jalali":312},13082,"رأس فرد در گراف: رأسی با درجهٔ فرد در گراف","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FzyE6HUE5oa0YdGckXDRS_200.png","2026-09-12 21:16:42","رأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف","https:\u002F\u002Fgama.ir\u002Fblogs\u002F13082\u002Fرأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف","https:\u002F\u002Fgama.ir\u002Fblog\u002F13082\u002Fرأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف"]