形式 けいしき論理 ろんり がくだろう
keishikironriga kudarō

Noun
Da Copula

Expresses probability ("probably…") of 形式論理学

1. Probably formal logic.

Presumptive
Conjecture