形式 けいしき論理 ろんり がくでしょう
keishikironrigakudeshō

Noun
Desu Copula

Expresses probability in a polite manner ("probably…") of 形式論理学

1. Probably formal logic.

Polite
Presumptive
Conjecture