logical form

logical form of a statement is a precisely-specified semantic version of that statement in a formal system. informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system.