نمایش مبدأ برای اصل طرد شق ثالث

'''اصل طرد شق ثالث''' {{به انگلیسی|Law of excluded middle}} {{به لاتین|tertium non datur}} حکم می‌کند که برای هر گزاره، یا خود گزاره صحیح است یا نقیض آن. این اصل در کنار [[اصل امتناع تناقض]] و [[قانون هویت|اصل هویت]] یکی از [[:en:Law_of_thought#The_three_traditional_laws|قوانین سه‌گانۀ تفکر]] است. با این حال، هیچ‌گونه نظام منطقی‌ای بر اساس این اصول شکل نگرفته‌است. با استفاده از روش نمادگذاری می‌توان آن را اینگونه بازآرائی کرد که اصل طرد شق ثالث می‌گوید که هر گزاره به‌صورت <math>p\lor\mathord{\sim}p</math> باید همواره درست باشد؛ به عبارت دیگر، این گزاره یک [[توتولوژی]] است.<ref>Tomassi, Paul (1999). ''[https://books.google.com/books?id=5Funj1Zaau0C&printsec=frontcover Logic]''. Routledge. p. 124. </ref>

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

== منابع ==
{{پانویس|چپ‌چین=بله}}

{{منطق کلاسیک}}
{{منطق ریاضی}}

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