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