one of the connectives of a given system of formal logic, esp those of the sentential calculus, not, and, or, and if … then …