The MathResource
logical constant,
n. one of the connectives of a given system of formal logic, especially those of the sentential calculus, namely not, and, or, and if... then..., or their formal equivalents negation, conjunction, disjunction, and implication.