atomic formula

mathematical logic concept