命題 めいだい論理 ろんり がくではありません
meidaironrigakudewārimasen

Noun
Desu Copula
Negation Auxiliary

The polite negative form of 命題論理学

1. It is not propositional logic.

Negative
Polite
Formal Register