述語 じゅつご論理 ろんりだったら
jutsugoronridattara

Noun
Da Copula

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

1. If predicate logic; Were predicate logic

Tara Conditional