形式 けいしき論理 ろんり がくだったら
keishikironriga kudattara

Noun
Da Copula

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

1. If/when formal logic; If formal logic were true

Tara Conditional