formalize logic

formalize logic 基本解释

形式化逻辑

重点词汇

formalize vt. 使正式, 使整形, 形式化 vi. 拘泥于形式

logic n. 逻辑，逻辑学；（做某事的）道理；推理方法；威力，压力，强制（力） adj. 逻辑的