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

Noun
Da Copula

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

1. If deductive logic; Were deductive logic

Tara Conditional