[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"categoryMenus":3,"blogPost-11474":193,"$fzi6yNPR5Lwj5sZ760FVt4VC8GitT_Ss5wPONXZEhNbQ":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},11474,1169,1171,3860,"جدول ارزش: جدولی که ارزش گزاره‌ها و ترکیب‌های آن‌ها را در همه حالت‌های ممکن نشان می‌دهد.",14098,"https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FbSElQszLLJTvjkR2VKUa_800.png","\u003Cdiv aria-label=\"مقاله آموزشی جدول ارزش\" dir=\"rtl\" id=\"microecon-article\" role=\"article\" style=\"background: #ffffff; box-sizing: border-box; color: #667085; font-family: IRANSans,Tahoma,Arial,sans-serif; line-height: 1.8; max-width: 980px; padding: 16px; width: 100%; word-break: break-word\">\r\n\u003Ch2 style=\"color: #344054; font-size: 22px; font-weight: 800\">جدول ارزش گزاره‌ها در منطق ریاضی\u003C\u002Fh2>\r\n\r\n\u003Cdiv style=\"color: #667085; font-size: 13px; margin-top: 4px; opacity: .95\">مرجع کامل و گام‌به‌گام برای درک جدول درستی، ترکیب گزاره‌ها با ادات منطقی و حل تمرین‌های دبیرستان\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #fff8e1; border-radius: 12px; border: 1px solid #ffb600; color: #667085; margin-bottom: 14px; margin-left: 16px; margin-right: 16px; margin-top: 14px; padding: 12px 14px\">جدول ارزش یا جدول درستی ابزاری بنیادی در منطق ریاضی است که مقدار درستی (درست یا نادرست) یک گزارهٔ مرکب را برای تمام حالت‌های ممکن گزاره‌های سازنده نشان می‌دهد. این مقاله با بررسی ادات منطقی اصلی (نفی، عطف، فصل، شرطی، دوشرطی) و ارائهٔ مثال‌های جدولی، کاربرد جدول‌ها را در اثبات تساوی‌های منطقی مانند قوانین دمورگان\u003Csup>1\u003C\u002Fsup> و تحلیل استدلال‌ها پوشش می‌دهد.\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">گزاره و ارزش‌های درستی\u003C\u002Fh3>\r\n\r\n\u003Cp>در منطق ریاضی، گزاره جمله‌ای خبری است که یا کاملاً درست است یا کاملاً نادرست. به هر یک از این دو حالت، یک \u003Cspan style=\"background: #fff3c4; border-radius: 999px; color: #24292f; display: inline-block; font-size: 12px; line-height: 1; padding: 4px 8px; vertical-align: baseline\">ارزش درستی\u003C\u002Fspan> نسبت داده می‌شود: معمولاً \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">T\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan> برای درستی و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">F\u003C\u002Fspan> یا \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\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\">2 > 5\u003C\u002Fspan> » نادرست است. هر گزارهٔ ساده را با یک حرف لاتین مانند \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan>، \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(q\\)\u003C\u002Fspan> یا \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(r\\)\u003C\u002Fspan> نمایش می‌دهیم. جدول ارزش، حالت‌های ممکن این گزاره‌ها را به صورت سیستماتیک فهرست می‌کند.\u003C\u002Fp>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">ادات منطقی پایه و جدول‌های متناظر\u003C\u002Fh3>\r\n\r\n\u003Cp>ادات منطقی\u003Csup>2\u003C\u002Fsup> مانند «نفی»، «و»، «یا»، «اگر... آنگاه» و «اگر و فقط اگر» به ما امکان می‌دهند گزاره‌های ساده را به گزاره‌های مرکب تبدیل کنیم. هر یک از این ادات یک جدول ارزش مخصوص به خود دارد که رفتار آن را تعریف می‌کند.\u003C\u002Fp>\r\n\r\n\u003Cdiv aria-label=\"جدول ادات منطقی پایه\" role=\"region\" style=\"-webkit-overflow-scrolling: touch; border-radius: 12px; border: 1px solid #e5e7eb; box-sizing: border-box; margin-bottom: 8px; margin-left: 16px; margin-right: 16px; margin-top: 8px; overflow: auto; padding: 0\">\r\n\u003Ctable cellspacing=\"0\" style=\"border-collapse: collapse; box-sizing: border-box; min-width: 600px; width: 100%\">\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; : \">مثال جمله\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=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">نفی\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot p\\)\u003C\u002Fspan> یا \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\sim p\\)\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">امروز بارانی نیست\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">عکس مقدار گزاره\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">عطف (و)\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\land q\\)\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">هوا آفتابی است و باد می‌وزد\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">فقط وقتی درست که هر دو درست باشند\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">فصل (یا)\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\lor q\\)\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">او کتاب می‌خواند یا فیلم می‌بیند\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">نادرست فقط وقتی که هر دو نادرست باشند\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">شرطی (اگر... آنگاه)\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\to q\\)\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">اگر باران ببارد، زمین خیس می‌شود\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">نادرست فقط وقتی مقدم درست و تالی نادرست باشد\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">دوشرطی (اگر و فقط اگر)\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\leftrightarrow q\\)\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">مثلث متساوی‌الاضلاع است اگر و فقط اگر سه ضلع برابر داشته باشد\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">درست وقتی هر دو یک‌سان باشند\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #fff7e6; border-radius: 12px; border: 1px solid #ffb600; color: #7a5200; font-size: 13px; padding: 12px 14px\">\u003Cstrong style=\"color: #344054\">مثال:\u003C\u002Fstrong> فرض کنید \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan> با جمله «عدد \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(2\\)\u003C\u002Fspan> زوج است» (درست) و \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(q\\)\u003C\u002Fspan> با جمله « \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(3 < 1\\)\u003C\u002Fspan> » (نادرست) جایگزین شوند. آنگاه \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\land q\\)\u003C\u002Fspan> نادرست، \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\lor q\\)\u003C\u002Fspan> درست و \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\to q\\)\u003C\u002Fspan> نادرست خواهد بود (چون مقدم درست و تالی نادرست است).\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">ساختار گام‌به‌گام جدول ارزش برای دو گزاره\u003C\u002Fh3>\r\n\r\n\u003Cp>برای ساختن جدول ارزش یک گزارهٔ مرکب شامل دو گزارهٔ ساده \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan> و \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(q\\)\u003C\u002Fspan>، ابتدا تمام ترکیب‌های ممکن ارزش آن‌ها را می‌نویسیم: \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">(1,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\">(0,1)\u003C\u002Fspan> و \u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">(0,0)\u003C\u002Fspan>. سپس ارزش هر زیرگزاره را به ترتیب اولویت (پرانتز، نفی، عطف و فصل، شرطی، دوشرطی) محاسبه می‌کنیم. در ادامه جدول ارزش برای گزارهٔ \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\((p \\land q) \\to \\lnot p\\)\u003C\u002Fspan> را گام‌به‌گام می‌بینیم.\u003C\u002Fp>\r\n\r\n\u003Cdiv aria-label=\"جدول ارزش گام به گام\" role=\"region\" style=\"-webkit-overflow-scrolling: touch; border-radius: 12px; border: 1px solid #e5e7eb; box-sizing: border-box; margin-bottom: 8px; margin-left: 16px; margin-right: 16px; margin-top: 8px; overflow: auto; padding: 0\">\r\n\u003Ctable cellspacing=\"0\" style=\"border-collapse: collapse; box-sizing: border-box; min-width: 600px; width: 100%\">\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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\land 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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\((p \\land q) \\to \\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=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cp>در این جدول، ستون آخر نتیجهٔ نهایی را نشان می‌دهد. همان‌طور که می‌بینید این گزارهٔ شرطی در سه حالت درست و فقط در یک حالت (هر دو گزاره درست) نادرست است.\u003C\u002Fp>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">کاربرد عملی: اثبات هم‌ارزی منطقی با جدول\u003C\u002Fh3>\r\n\r\n\u003Cp>یکی از کاربردهای مهم جدول ارزش، اثبات هم‌ارزی دو گزاره است. دو گزاره هم‌ارز\u003Csup>3\u003C\u002Fsup> هستند اگر در تمام حالت‌ها ارزش یکسانی داشته باشند. برای نمونه، قانون معروف دمورگان می‌گوید که نفی فصل دو گزاره با عطف نقیض آن‌ها هم‌ارز است: \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot (p \\lor q) \\equiv \\lnot p \\land \\lnot q\\)\u003C\u002Fspan>. در ادامه با جدول این هم‌ارزی را بررسی می‌کنیم.\u003C\u002Fp>\r\n\r\n\u003Cdiv aria-label=\"جدول اثبات قانون دمورگان\" role=\"region\" style=\"-webkit-overflow-scrolling: touch; border-radius: 12px; border: 1px solid #e5e7eb; box-sizing: border-box; margin-bottom: 8px; margin-left: 16px; margin-right: 16px; margin-top: 8px; overflow: auto; padding: 0\">\r\n\u003Ctable cellspacing=\"0\" style=\"border-collapse: collapse; box-sizing: border-box; min-width: 600px; width: 100%\">\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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\lor 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 dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot (p \\lor 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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"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 dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot p \\land \\lnot 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=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #ffffff; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n  \u003Ctr style=\"background: #f8fafc; : \">\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">0\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cstrong style=\"background: #dcfce7; border-radius: 999px; box-sizing: border-box; color: #166534; font-size: 12px; font-weight: 700; line-height: 1; padding: 2px 8px; vertical-align: baseline\">1\u003C\u002Fstrong>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cspan style=\"direction: ltr; display: inline-block; vertical-align: baseline\">1\u003C\u002Fspan>\u003C\u002Ftd>\r\n   \u003Ctd style=\"border-bottom: 1px solid #edf2f7; box-sizing: border-box; color: #667085; padding: 10px 12px; text-align: right\">\u003Cstrong style=\"background: #dcfce7; border-radius: 999px; box-sizing: border-box; color: #166534; font-size: 12px; font-weight: 700; line-height: 1; padding: 2px 8px; vertical-align: baseline\">1\u003C\u002Fstrong>\u003C\u002Ftd>\r\n  \u003C\u002Ftr>\r\n \u003C\u002Ftbody>\r\n\u003C\u002Ftable>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cp>مقایسهٔ ستون چهارم و هشتم نشان می‌دهد که در تمام ردیف‌ها ارزش آن‌ها با هم برابر است. بنابراین دو گزاره با یکدیگر هم‌ارزند. این روش برای بررسی هر نوع تساوی منطقی دیگری مانند \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\to q \\equiv \\lnot p \\lor q\\)\u003C\u002Fspan> نیز کاربرد دارد.\u003C\u002Fp>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">چالش‌های مفهومی جدول ارزش\u003C\u002Fh3>\r\n\r\n\u003Cdiv style=\"background: #f8fafc; border-radius: 12px; border: 1px solid #e2e8f0; padding: 12px 14px\">\r\n\u003Cdiv style=\"background: #ffffff; border-radius: 8px; margin-bottom: 12px; padding: 12px 14px\">\u003Cstrong style=\"color: #344054\">❓ چرا در شرطی \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\to q\\)\u003C\u002Fspan>، وقتی \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan> نادرست است، جمله همواره درست در نظر گرفته می‌شود؟\u003C\u002Fstrong>\u003Cbr>\r\n\u003Cspan style=\"color: #667085\">پاسخ: در منطق، شرطی ماده‌ای (implication) وعده‌ای است که می‌گوید هرگاه \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan> درست باشد، \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(q\\)\u003C\u002Fspan> نیز باید درست باشد. اگر \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan> نادرست باشد، شرط نقض نشده و وعده همچنان معتبر است. مانند این جمله: «اگر باران ببارد، چتر را برمی‌دارم». اگر باران نبارد، صرف‌نظر از اینکه چتر را بردارم یا نه، نمی‌توان گفت که دروغ گفته‌ام.\u003C\u002Fspan>\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #ffffff; border-radius: 8px; margin-bottom: 12px; padding: 12px 14px\">\u003Cstrong style=\"color: #344054\">❓ چگونه می‌توان فهمید یک گزارهٔ مرکب، «تاتولوژی»\u003Csup>4\u003C\u002Fsup> است؟\u003C\u002Fstrong>\u003Cbr>\r\n\u003Cspan style=\"color: #667085\">پاسخ: گزاره‌ای تاتولوژی (همیشه‌درست) نامیده می‌شود که در تمام سطرهای جدول ارزش، نتیجهٔ نهایی آن «درست» باشد. برای مثال \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\lor \\lnot p\\)\u003C\u002Fspan> یک تاتولوژی است. اگر در جدول آن را بررسی کنید، در هر دو حالت ممکن برای \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p\\)\u003C\u002Fspan>، خروجی \u003Cstrong style=\"background: #dcfce7; border-radius: 999px; box-sizing: border-box; color: #166534; font-size: 12px; font-weight: 700; line-height: 1; padding: 2px 8px; vertical-align: baseline\">1\u003C\u002Fstrong> خواهد بود.\u003C\u002Fspan>\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #ffffff; border-radius: 8px; padding: 12px 14px\">\u003Cstrong style=\"color: #344054\">❓ منظور از «تناقض» در جدول ارزش چیست؟\u003C\u002Fstrong>\u003Cbr>\r\n\u003Cspan style=\"color: #667085\">پاسخ: گزارهٔ متناقض (تناقض) وضعیتی است که در تمام سطرهای جدول، خروجی «نادرست» باشد؛ مانند \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(p \\land \\lnot p\\)\u003C\u002Fspan>. چنین گزاره‌ای به هیچ وجه نمی‌تواند درست باشد و در استدلال‌ها نشانهٔ ناسازگاری فرض‌هاست.\u003C\u002Fspan>\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Ch3 style=\"border-bottom: 2px solid #ffb600; color: #344054; font-size: 18px; margin-bottom: 16px; margin-left: 8px; margin-right: 8px; margin-top: 16px; padding: 0 0 6px 0\">پاورقی\u003C\u002Fh3>\r\n\r\n\u003Cdiv style=\"color: #667085; padding: 0\">\r\n\u003Cp>\u003Csup>1\u003C\u002Fsup> قوانین دمورگان (De Morgan's Laws): دو قاعده در منطق که رابطهٔ بین عطف، فصل و نفی را نشان می‌دهند: \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot (p \\land q) \\equiv \\lnot p \\lor \\lnot q\\)\u003C\u002Fspan> و \u003Cspan dir=\"ltr\" style=\"display: inline-block; vertical-align: baseline\">\\(\\lnot (p \\lor q) \\equiv \\lnot p \\land \\lnot q\\)\u003C\u002Fspan>.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>2\u003C\u002Fsup> ادات منطقی (Logical Connectives): عملگرهایی مانند نفی، عطف، فصل، شرطی و دوشرطی که برای ترکیب گزاره‌ها به کار می‌روند.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>3\u003C\u002Fsup> هم‌ارزی منطقی (Logical Equivalence): وضعیتی که دو گزاره در تمام مدل‌ها (حالت‌ها) ارزش درستی یکسان دارند.\u003C\u002Fp>\r\n\r\n\u003Cp>\u003Csup>4\u003C\u002Fsup> تاتولوژی (Tautology): گزاره‌ای که در تمام تفسیرها (حالت‌های ممکن) درست است.\u003C\u002Fp>\r\n\u003C\u002Fdiv>\r\n\r\n\u003Cdiv style=\"background: #fffdf3; border-radius: 12px; border: 1px solid #ffb600; color: #24292f; padding: 12px 14px\">\u003Cstrong style=\"color: #344054\">جمع‌بندی:\u003C\u002Fstrong> جدول ارزش یک نقشهٔ راه کامل برای تحلیل گزاره‌های منطقی است. با یادگیری آن می‌توانیم ارزش هر عبارت پیچیده را گام‌به‌گام محاسبه، هم‌ارزی دو گزاره را اثبات، و مفاهیمی مانند تاتولوژی و تناقض را تشخیص دهیم. این ابزار پایه‌ای نه‌تنها در ریاضیات، بلکه در علوم کامپیوتر، طراحی مدارهای دیجیتال و استدلال‌روزمره نیز کاربرد گسترده‌ای دارد. تمرین با جدول‌های متنوع، درک عمیق‌تری از منطق و تفکر نقادانه به شما می‌دهد.\u003C\u002Fdiv>\r\n\u003C\u002Fdiv>\r\n",[203,204,205],"پایهٔ یازدهم","آمار و احتمال یازدهم","جدول ارزش",0,561,"2026-02-22 17:23:52","2026-09-01 12:48:17","سحر","شیرزاد","کپسول آموزشی","1404\u002F12\u002F3","12:48 1405\u002F06\u002F10",{"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,312],{"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},11453,"گزاره: جملهٔ خبری که فقط یکی از دو حالتِ درست یا نادرست را دارد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FGJhX352uQ2imvdQMqQFN_200.png","2026-09-01 13:03:24","گزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11453\u002Fگزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11453\u002Fگزاره-جمله-خبری-که-فقط-یکی-از-دو-حالت-درست-یا-نادرست-را-دارد","1405\u002F06\u002F10",{"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},11454,"ارزش گزاره: درست یا نادرست بودنِ یک گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002Fl1CfINrCA7LnA4icdJD3_200.png","2026-09-01 13:00:16","ارزش-گزاره-درست-یا-نادرست-بودن-یک-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11454\u002Fارزش-گزاره-درست-یا-نادرست-بودن-یک-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F11454\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},11472,"نماد درست (T یا د) و نماد نادرست (F یا ن): نشانه‌ای برای نمایش ارزش درستِ گزاره و نشانه‌ای برای نمایش ارزش نادرستِ گزاره","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FJujDWd3FtoYmYh9iOmNW_200.png","2026-09-01 12:52:19","نماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11472\u002Fنماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره","https:\u002F\u002Fgama.ir\u002Fblog\u002F11472\u002Fنماد-درست-T-یا-د-و-نماد-نادرست-F-یا-ن-نشانهای-برای-نمایش-ارزش-درست-گزاره-و-نشانهای-برای-نمایش-ارزش-نادرست-گزاره",{"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},11477,"نقیض گزاره: گزاره‌ای که ارزش آن برعکسِ ارزش گزارهٔ اصلی است.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FeAQJ7MCq9WNrohlBrXin_200.png","2026-09-01 12:42:57","نقیض-گزاره-گزارهای-که-ارزش-آن-برعکس-ارزش-گزاره-اصلی-است","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11477\u002Fنقیض-گزاره-گزارهای-که-ارزش-آن-برعکس-ارزش-گزاره-اصلی-است","https:\u002F\u002Fgama.ir\u002Fblog\u002F11477\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},11479,"نماد نقیض (∼ یا ¬): علامتی که نقیض یک گزاره را نشان می‌دهد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FsCXYJtUCMVriciBJX9P6_200.png","2026-09-01 12:41:29","نماد-نقیض-یا-علامتی-که-نقیض-یک-گزاره-را-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11479\u002Fنماد-نقیض-یا-علامتی-که-نقیض-یک-گزاره-را-نشان-میدهد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11479\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},11481,"هم ارز (هم‌ارزش): دو گزاره‌ای که در همه حالت‌ها ارزش یکسان دارند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F4livPgGCHVFOm3DI9AQC_200.png","2026-09-01 12:36:33","هم-ارز-همارزش-دو-گزارهای-که-در-همه-حالتها-ارزش-یکسان-دارند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11481\u002Fهم-ارز-همارزش-دو-گزارهای-که-در-همه-حالتها-ارزش-یکسان-دارند","https:\u002F\u002Fgama.ir\u002Fblog\u002F11481\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},11483,"هم ارزی منطقی: رابطه‌ای که نشان می‌دهد دو گزاره در همه حالت‌ها هم‌ارز هستند.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FYkOgMioT4nrjvCW0bECA_200.png","2026-09-01 12:34:37","هم-ارزی-منطقی-رابطهای-که-نشان-میدهد-دو-گزاره-در-همه-حالتها-همارز-هستند","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11483\u002Fهم-ارزی-منطقی-رابطهای-که-نشان-میدهد-دو-گزاره-در-همه-حالتها-همارز-هستند","https:\u002F\u002Fgama.ir\u002Fblog\u002F11483\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},11485,"گزاره نما: جملهٔ خبریِ دارای متغیر که با جایگذاری مقدار، به گزاره تبدیل می‌شود.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FPCMx6d5PWVxaXRKeVryT_200.png","2026-09-01 12:32:33","گزاره-نما-جمله-خبری-دارای-متغیر-که-با-جایگذاری-مقدار-به-گزاره-تبدیل-میشود","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11485\u002Fگزاره-نما-جمله-خبری-دارای-متغیر-که-با-جایگذاری-مقدار-به-گزاره-تبدیل-میشود","https:\u002F\u002Fgama.ir\u002Fblog\u002F11485\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},11488,"متغیر: نمادی مانند x که می‌تواند به جای آن مقادیر مختلف قرار گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002F8d2ubEMmx4QOI43UL5u1_200.png","2026-09-01 12:30:25","متغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11488\u002Fمتغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11488\u002Fمتغیر-نمادی-مانند-x-که-میتواند-به-جای-آن-مقادیر-مختلف-قرار-گیرد",{"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},11490,"دامنهٔ متغیر: مجموعهٔ مقادیری که مجاز است به جای متغیر در گزاره‌نما قرار گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FdHZmxOHdnu6iIkUPGUPJ_200.png","2026-09-01 12:26:11","دامنه-متغیر-مجموعه-مقادیری-که-مجاز-است-به-جای-متغیر-در-گزارهنما-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11490\u002Fدامنه-متغیر-مجموعه-مقادیری-که-مجاز-است-به-جای-متغیر-در-گزارهنما-قرار-گیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11490\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":231},11491,"مجموعهٔ جواب: مجموعهٔ اعضای دامنه که با جایگذاری آن‌ها، گزاره‌نما ارزش درست می‌گیرد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FXMPNwI33OLiO6yJT8Yna_200.png","2026-09-01 12:24:06","مجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11491\u002Fمجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11491\u002Fمجموعه-جواب-مجموعه-اعضای-دامنه-که-با-جایگذاری-آنها-گزارهنما-ارزش-درست-میگیرد",{"id":313,"title":314,"cat":199,"pic":315,"up_date":316,"title_url":317,"url":318,"legacy_url":319,"cat_title":212,"update_jalali":231},11492,"رابط منطقی: واژه یا نمادی که گزاره‌ها را به هم پیوند می‌دهد و گزارهٔ مرکب می‌سازد.","https:\u002F\u002Fgama.ir\u002Fuploads\u002Fnews\u002Fthumbnails\u002FR0jBrO7F0Wk8sBCvXTQT_200.png","2026-09-01 12:20:19","رابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد","https:\u002F\u002Fgama.ir\u002Fblogs\u002F11492\u002Fرابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد","https:\u002F\u002Fgama.ir\u002Fblog\u002F11492\u002Fرابط-منطقی-واژه-یا-نمادی-که-گزارهها-را-به-هم-پیوند-میدهد-و-گزاره-مرکب-میسازد"]