Vocabulary
記号論理学
きごうろんりがく
symbolic logic
noun
adj-no