形式 けいしき論理 ろんりであれば
keishikironrideareba

Noun
Da Copula

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

1. If it is formal logic; When it is formal logic

Ba Conditional