量化邏輯 汉语 简体:量 化 逻 辑 繁体:量 化 邏 輯读音 汉语拼音:liàng huà luó ji翻译 翻译 英语:quantified logic;本词条全部或部分内容来自许可协议的CC-CEDICT项目。