真理 しんり関数 かんすうだったら
shinrikansūdattara

Noun
Da Copula

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

1. If truth-functional; If a truth function

Tara Conditional