真理 しんり関数 かんすうでしょう
shinrikansūdeshō

Noun
Desu Copula

Expresses probability in a polite manner ("probably…") of 真理関数

1. Probably a truth function.

Polite
Presumptive
Conjecture