first-order logicWiktionary 原文英美释义名词noun1(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.