In → propositional logic, a → sentence containing at least one → connectives. See also → atomic proposition.
See also: → atomic; → proposition.