排中 はいちゅう りつであれば
haichūritsudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 排中律

1. If the law of excluded middle; If the principle of excluded middle

Ba Conditional