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