真理 しんり ひょうであれば
shinri chi hyōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 真理値表

1. If truth table; When truth table

Ba Conditional
Mathematics