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

Noun
Desu Copula
Negation Auxiliary

The polite negative form of 命題論理

1. It is not propositional logic.

Negative
Polite
Formal Register