恒真 こうしん しきであれば
kōshin shikideareba

Noun
Da Copula

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

1. If it is a tautology; When it is a tautology

Ba Conditional
Logic