真理 しんり ひょうだったら
shinri chi hyōdattara

Noun
Da Copula

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

1. if truth table; when truth table

Tara Conditional
Mathematics