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

1. گویایی آموزگاهی✹

تاربرگ‌های پیموده‌شده در این نشست: پخش‌پذیری ⟩ آگوست دمورگان ⟩ ارشمیدس ⟩ بنداشت بی‌پایانی ⟩ پارادخش بورالی-فورتی ⟩ همزادی قانون‌های دمورگان