اصل طرد ثالث
![]() | این مقاله نیازمند تمیزکاری است. لطفاً تا جای امکان آنرا از نظر املا، انشا، چیدمان و درستی بهتر کنید، سپس این برچسب را بردارید. محتویات این مقاله ممکن است غیر قابل اعتماد و نادرست یا جانبدارانه باشد یا قوانین حقوق پدیدآورندگان را نقض کرده باشد. |
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. |
اصل طرد ثالث (principle of excluded middle) یا قانون طرد شق ثالث (the law of excluded middle) حکم میکند که برای هر گزاره، یا خود گزاره صحیح است یا نقیض آن. این اصل در کنار اصل امتناع تناقض و اصل هویت یکی از قوانین سهگانهی تفکر است. با این حال، هیچگونه نظام منطقی بر اساس این اصول شکل نگرفته است. با استفاده از روش نمادگذاری میتوان آن را اینگونه بازآرائی کرد که اصل طرد شق میانی میگوید هر گزاره به صورت p ⋁ ~ p باید درست باشد؛ بعبارت دیگر این گزاره یک توتولوژی است[۱].