排中 はいちゅう りつだったら
haichūritsudattara

Noun
Da Copula

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

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

Tara Conditional