形式 けいしき論理 ろんりでしょう
keishikironrideshō

Noun
Desu Copula

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

1. Probably formal logic.; Likely formal logic.

Polite
Presumptive
Conjecture