真理 しんり関数 かんすうであれば
shinrikansūdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 真理関数

1. If it is a truth function; When it is a truth function

Ba Conditional