prime formula in Finnish

(logic) A well-formed formula which has not been made by combining simpler well-formed formulas by means of logical connectives.