恒真 こうしん しきだろう
kōshin shikidarō

Noun
Da Copula

Expresses probability ("probably…") of 恒真式

1. Probably a tautology.; Likely true by definition.

Presumptive
Conjecture
Logic