قانون میانی برون‌داشته

همچنین شناخته شده با: قانون طرد ثالث
برابر انگلیک (انگلیسی): Law of excluded middle
دیسه‌ای
𝐴∨¬𝐴
A∨¬A