formal logicWiktionary 原文英美释义名词noun1(logic) Mathematical logic.2(logic) A particular logical calculus.