演繹 えんえき論理 ろんり がくであれば
en'ekiron rigakudeareba

Noun
Da Copula

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

1. If it were deductive logic; Were it deductive logic

Ba Conditional