めいだいろんり

命題論理

表記・読み：めいだいろんり

1. 1

   propositional logic; propositional calculus

   名詞logic