せい論理 ろんりであれば
seironrideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 正論理

1. If positive logic is true; If positive logic holds

Ba Conditional
Computing