恒真 こうしん しきだったら
kōshin shikidattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 恒真式

1. If it were a tautology.; If it’s a tautology.

Tara Conditional
Logic