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