量化邏輯 liàng huà luó ji

DEFINITIONS

  1. quantified logic

CHARACTERS

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