多値 たち論理 ろんり がくであれば
tachironrigakudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 多値論理学

1. If multivalue logic…; If multivalue logics were…

Ba Conditional