Логические знаки

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

– “влечет за собой”, “следует”;

– “тогда и только тогда”;

– “для всех”, “для каждого”;

– “существует”;

– “существует точно один”.