Логические операции, логические операторы, логические связки, функции, преобразующие выражения логических исчислений (формальных логических систем) : из некоторых элементарных, подобно тому как союзы, союзные слова и обороты служат для построения сложных предложений из простых в естественных языках, в классической логике могут быть либо истинными, либо ложными.

Логические операции конъюнции обозначаются —&. Интерпретируется как союз "и" и его синонимы ("а", "да", "но", "хотя", "между тем как", "а также", "кроме того", и т. д.).
Дизъюнкции (V) — как один ("неразделительный") союз "или" ;
Отрицание (L) — "не" и её эквиваленты;
Импликации (C) — обороты "если... то...",
и "из... следует...", или глагол", влечёт" ;
Эквиваленции (~) — как оборот "тогда и только тогда, когда" и его синонимы и т. п.
Соответственно точные определения логических операций задаются не "переводами", а двух истинностных значений —"и" ("истина") или "а" ("ложь") — принимает результат применение данной логической операции, к некоторым исходным высказываниям.