対偶 たいぐうであれば
taigūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 対偶

1. If the contrapositive is true; If the converse is true

Ba Conditional
Logic