A statement formed from simple statements by the use of words such as "and," "or," "not," "implies," or their corresponding symbols.
→ compound; → proposition.