形式 けいしき論理 ろんり がくであれば
keishikironrigakudeareba

Noun
Da Copula

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

1. If formal logic; When formal logic

Ba Conditional