prime formula

noun1

1. •
   A well-formed formula which has not been made by combining simpler well-formed formulas by means of logical connectives.