形式 けいしき論理 ろんりだったら
keishikironridattara

Noun
Da Copula

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

1. If/when formalism; If/when formal logic

Tara Conditional