命題 めいだい論理 ろんりであれば
meidaironrideareba

Noun
Da Copula

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

1. If propositional logic; When propositional logic

Ba Conditional