量化逻辑 liàng huà luó ji

DEFINITIONS

  1. quantified logic

CHARACTERS

量 liàng measure, quantity, capacity
化 huà change, convert, reform; -ize
逻 luó patrol; inspect; watch; patrol
辑 ji gather up, collect; edit, compile