[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-13034":193,"$fk85WZ6RoC8i51gu9HiXqFCxCjGHwI44odDCpqn9NQv4":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},13034,1170,1171,4927,"گزاره همواره درست: گزاره‌ای که برای همه حالت‌ها صحیح است.",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FTcD1tGT3KIr27ggHNUOW_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> را نتیجه می‌دهد. این مفهوم پایه‌ای در \u003Cstrong>منطق ریاضی\u003C\u002Fstrong> و \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\u003Cp>در منطق گزاره‌ها\u003Csup>1\u003C\u002Fsup>، هر جمله خبری که بتواند درست یا نادرست باشد، یک \u003Cstrong>گزاره\u003C\u002Fstrong> نامیده می‌شود. برخی گزاره‌ها برای بعضی حالت‌ها درست و برای بعضی دیگر نادرست هستند. اما \u003Cstrong>گزاره همواره درست\u003C\u002Fstrong> (توتولوژی) برای \u003Cem>همه\u003C\u002Fem> ترکیب‌های ممکن از مقدار متغیرها، مقدار درست دارد. در مقابل، \u003Cstrong>تناقض\u003C\u002Fstrong> (کانترادیکشن) گزاره‌ای است که در همه حالت‌ها نادرست است.\u003C\u002Fp>\r\n\u003Cp>برای مثال، گزاره «امروز هوا بارانی است» یک گزاره عادی است که گاهی درست و گاهی نادرست است. اما گزاره «امروز هوا بارانی است یا امروز هوا بارانی نیست» همیشه درست خواهد بود، چون یکی از دو حالت حتماً رخ می‌دهد. این گزاره یک توتولوژی است. به همین ترتیب، گزاره «امروز هوا بارانی است و امروز هوا بارانی نیست» همیشه نادرست است و یک تناقض محسوب می‌شود.\u003C\u002Fp>\r\n\r\n\u003Ctable 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\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\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; : \">مثال با متغیر P\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=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\lor \\lnot 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; : \">بسته به حالت درست یا نادرست\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$\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=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\land \\lnot P$\u003C\u002Fspan>\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003C\u002Ftbody>\r\n\u003C\u002Ftable>\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>جدول حقیقت\u003C\u002Fstrong>\u003Csup>2\u003C\u002Fsup> آن را تشکیل دهید. در این جدول، تمام حالت‌های ممکن برای متغیرهای ورودی را نوشته و سپس مقدار نهایی گزاره را محاسبه می‌کنیم. اگر در همه سطرها مقدار نهایی \u003Cstrong>درست\u003C\u002Fstrong> بود، گزاره همواره درست است.\u003C\u002Fp>\r\n\u003Cp>به عنوان مثال، گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">$(P \\rightarrow Q) \\leftrightarrow (\\lnot Q \\rightarrow \\lnot P)$\u003C\u002Fspan> را در نظر بگیرید. این گزاره بیان می‌کند که «اگر P آنگاه Q» با «اگر نقیض Q آنگاه نقیض P» هم‌ارز است. جدول حقیقت زیر صحت همیشگی آن را نشان می‌دهد.\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جدول حقیقت قانون \u003Cstrong>استنتاج نقیض (کانتراپوزیتیو)\u003C\u002Fstrong> را نمایش می‌دهد. در ساختار $P \\rightarrow Q$ اگر P نادرست باشد، کل عبارت درست فرض می‌شود (اصل فرض تهی).\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ctable 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\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 \\rightarrow 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; : \">$\\lnot 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; : \">$\\lnot 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; : \">$\\lnot Q \\rightarrow \\lnot 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; : \">$(P \\rightarrow Q) \\leftrightarrow (\\lnot Q \\rightarrow \\lnot P)$\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; : \">درست\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; : \">نادرست\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; : \">درست\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; : \">نادرست\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; : \">نادرست\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; : \">درست\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; : \">درست\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; : \">درست\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; : \">درست\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; : \">درست\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; : \">درست\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; : \">درست\u003C\u002Ftd>\r\n\u003C\u002Ftr>\r\n\u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\r\n\u003Cp>همان‌طور که در ستون آخر جدول می‌بینید، خروجی نهایی برای هر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$4$\u003C\u002Fspan>\u003C\u002Fspan> حالت ممکن، \u003Cstrong>درست\u003C\u002Fstrong> است. بنابراین این گزاره یک توتولوژی محسوب می‌شود و قانون منطقی معتبری است.\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\u003Cp>در ریاضیات و برنامه‌نویسی، توتولوژی‌ها نقش کلیدی دارند. فرض کنید می‌خواهید یک قضیه هندسی را اثبات کنید. اگر بتوانید نشان دهید که نتیجه قضیه به شکل \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$A \\rightarrow B$\u003C\u002Fspan> است و هم‌ارز با یک توتولوژی شناخته شده است، اثبات شما معتبر خواهد بود.\u003C\u002Fp>\r\n\u003Cp>\u003Cstrong>مثال عینی:\u003C\u002Fstrong> در مثلث‌ها، گزاره «اگر یک مثلث متساوی‌الساقین باشد، آنگاه دو زاویهٔ پای آن برابر است» را در نظر بگیرید. می‌توان این گزاره را با نقیضش اثبات کرد: «اگر دو زاویهٔ پای برابر نباشند، آنگاه مثلث متساوی‌الساقین نیست». این همان قانون \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\rightarrow Q) \\leftrightarrow (\\lnot Q \\rightarrow \\lnot P)$\u003C\u002Fspan> است که در جدول بالا دیدیم. چون این قانون یک توتولوژی است، به‌کارگیری آن در استدلال، صحت استنتاج را تضمین می‌کند.\u003C\u002Fp>\r\n\u003Cp>در برنامه‌نویسی، شرط‌هایی مانند \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; unicode-bidi: isolate; white-space: nowrap; : \">if (x > 5 or not (x > 5))\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\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; margin-bottom: 12px; : \">\r\n\u003Cstrong>سؤال ۱:\u003C\u002Fstrong> آیا گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\rightarrow (P \\lor Q)$\u003C\u002Fspan> یک توتولوژی است؟\u003Cbr>\r\n\u003Cstrong>پاسخ:\u003C\u002Fstrong> بله. اگر P درست باشد، \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\lor Q$\u003C\u002Fspan> نیز درست است و اگر P نادرست باشد، شرط \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\rightarrow ...$\u003C\u002Fspan> از روی تعریف درست محسوب می‌شود. در هر دو حالت، خروجی نهایی درست است.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; margin-bottom: 12px; : \">\r\n\u003Cstrong>سؤال ۲:\u003C\u002Fstrong> تفاوت میان «همارزی منطقی» و «گزاره همواره درست» چیست؟\u003Cbr>\r\n\u003Cstrong>پاسخ:\u003C\u002Fstrong> دو گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$X$\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$Y$\u003C\u002Fspan> همارز هستند اگر \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$X \\leftrightarrow Y$\u003C\u002Fspan> یک توتولوژی باشد. بنابراین گزاره همواره درست مفهومی کلی‌تر است، در حالی که همارزی منطقی حالت خاصی از آن برای دو گزاره است.\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"margin: 10px 0 0 0; padding: 12px 14px; border: 1px solid #e2e8f0; border-radius: 12px; background: #f8fafc; margin-bottom: 12px; : \">\r\n\u003Cstrong>سؤال ۳:\u003C\u002Fstrong> آیا گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\lor Q) \\land \\lnot (P \\land Q)$\u003C\u002Fspan> (یعنی یا انحصاری) یک توتولوژی است؟\u003Cbr>\r\n\u003Cstrong>پاسخ:\u003C\u002Fstrong> خیر. این گزاره فقط زمانی درست است که دقیقاً یکی از P یا Q درست باشد. اگر هر دو درست یا هر دو نادرست باشند، گزاره نادرست می‌شود. بنابراین توتولوژی نیست، بلکه یک \u003Cstrong>گزاره عادی\u003C\u002Fstrong> است.\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=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P \\lor \\lnot P$\u003C\u002Fspan> (قانون طرد شق ثالث)\u003Csup>3\u003C\u002Fsup> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$(P \\rightarrow Q) \\leftrightarrow (\\lnot Q \\rightarrow \\lnot P)$\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>\u003Csup>1\u003C\u002Fsup> گزاره (Proposition): جمله‌ای خبری که می‌تواند درست یا نادرست باشد و نمی‌تواند همزمان هر دو حالت را داشته باشد.\u003C\u002Fp>\r\n\u003Cp>\u003Csup>2\u003C\u002Fsup> جدول حقیقت (Truth Table): جدولی که تمام ترکیب‌های ممکن ورودی‌های یک عبارت منطقی را نشان می‌دهد و مقدار خروجی را برای هر ترکیب محاسبه می‌کند.\u003C\u002Fp>\r\n\u003Cp>\u003Csup>3\u003C\u002Fsup> قانون طرد شق ثالث (Law of Excluded Middle): اصل منطقی که می‌گوید برای هر گزاره \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan>، یا خود \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$P$\u003C\u002Fspan> درست است یا نقیض آن \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline; : \">$\\lnot P$\u003C\u002Fspan>، و هیچ حالت سومی وجود ندارد.\u003C\u002Fp>\r\n\r\n\u003C\u002Fdiv>",[203,204,205],"پایهٔ دوازدهم","ریاضیات گسسته دوازدهم","گزاره همواره درست",0,150,"2026-05-06 17:10:07","2026-09-11 21:21:07","سحر","شیرزاد","کپسول آموزشی","1405\u002F02\u002F16","21:21 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رأس-فرد-در-گراف-رأسی-با-درجه-فرد-در-گراف"]