演繹えんえき論理ろんりがくだったら
en'ekiron rigakudattara

Noun
Da Copula

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

1. If deductive logic; Were deductive logic

Tara Conditional