logical formWiktionary 原文释义（英文）名词 Noun(linguistics, logic) A specific semantic version of a statement in a formal system, attempting to formalize something possibly ambiguous.