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
.