せい論理 ろんりだったら
seironridattara

Noun
Da Copula

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

1. If/when positive logic is true; If/when it's logically correct

Tara Conditional
Computing