Vocabulary
命題論理
めいだいろんり
propositional logic; propositional calculus
noun