atomic formula

noun1

1. •
   A formula which does not have smaller subformulas.

   • In predicate logic, an atomic formula consists of a predicate together with its arguments, its arguments being terms.