3. Логические и грамматические союзы

Логические союзы

Сложные суждения строятся с использованием логических союзов, которые определяют их тип.

Логическая операция Символ Примеры логических союзов
Конъюнкция (и) ∧ и, также, но, причем
Дизъюнкция (или) ∨ или, либо
Импликация (если..., то...) → если…, то…, при условии, что…
Эквиваленция (тогда и только тогда, когда) ↔ тогда и только тогда, когда

Грамматические союзы

Логические союзы не всегда совпадают с грамматическими союзами. Например:

  • В предложении «Я читал книгу, и вдруг зазвонил телефон» союз «и» не означает логическую конъюнкцию.
  • В предложении «Идет дождь, но тепло» союз «но» логически равнозначен «и».

⚠ Важно! В логике важно учитывать именно значение связки, а не ее грамматическую форму.