命題 めいだい論理 ろんりだったら
meidaironridattara

Noun
Da Copula

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

1. If/when propositional logic

Tara Conditional