logic Definition Formula Position A formula position is a syntactic address of an occurrence of a subformula inside a formula.