• Formula che al primo passo non può essere scomposta con un connettivo. È una atomica generalizzata se non è una delle seguenti forme:
  • A = ¬B
  • A = B∨C
  • A = B∧C
  • A=B→C
  • A=B↔︎C
  • A = ⊥
• Dunque, è una atomica generalizzata se A è una atomica P(t1, ... tn) o A è nella forma ∀xB, ∃xB