Up: Logic [Top][Contents]
A statement with
at least one logical connective.
The opposite of the atomic statement, conceptually.
(Levin 2021, sec. 0.2; Poole and Mackworth 2017, sec. 5.1.1)