atomic formula

/AH0 T AA1 M IH0 K F AO0 R M Y AH0 L AH0/
noun
  1. 1

    (logic) A formula which does not have smaller subformulas.