命題 めいだい関数 かんすうだったら
meidaikansūdattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 命題関数

1. If the predicate function; When the predicate function

Tara Conditional