اصل طرد شق ثالث

اصل طرد شق ثالث   حکم می‌کند که برای هر گزاره، یا خود گزاره صحیح است یا نقیض آن. این اصل در کنار اصل امتناع تناقض و اصل هویت یکی از قوانین سه‌گانۀ تفکر است. با این حال، هیچ‌گونه نظام منطقی‌ای بر اساس این اصول شکل نگرفته‌است. با استفاده از روش نمادگذاری می‌توان آن را اینگونه بازآرائی کرد که اصل طرد شق ثالث می‌گوید که هر گزاره به‌صورت  باید همواره درست باشد؛ به عبارت دیگر، این گزاره یک توتولوژی است.Tomassi, Paul (1999). Logic. Routledge. p. 124. 

 جستارهای وابسته 
 ساخت‌گرایی (فلسفه ریاضیات)

 منابع 

رده:اصل‌ها
رده:قضیه‌ها در حساب گزاره‌ای
رده:قضیه‌های ریاضی
رده:منطق کلاسیک
رده:منطق گزاره‌ای