A statement with

at least one logical connective.

The opposite of the atomic statement, conceptually.

[1, Sec. 0.2], [2, Sec. 5.1.1]

---