記号論理学 (きごうろんりがく) — symbolic logic | Kumi Dictionary