latex Логические операции: Конъюнкция, дизъюнкция, отрицание, вводимость, импликация (И, ИЛИ, НЕ -- "сумма, произведение")

Для вывода логически операций имеют следующие команды:

• \vee дизъюнкция (логическое "или")
• \wedge конъюнкция (логическое "и")
• \bar отрицание
• \forall квантор всеобщности
• \exists квантор существования
• \vdash выводимость
• \Longleftarrow импликация (можно использовать \Leftarrow, \to)
• \Longleftrightarrow двусторонняя импликация (можно использовать \Leftrightarrow, \leftrightarrow) и другие стрелки.

Например формулы вида:

A \vee B \wedge C 
\bar D \forall E \exists F \vdash G \Longleftarrow \\
 H \Longleftrightarrow I  \leftrightarrow K

Даст нам:
$ A \vee B \wedge C \\
\bar D \forall E \exists F \vdash G \Longleftarrow \\
H \Longleftrightarrow I \leftrightarrow K$

Источник: http://sfiz.ru/page.php?al=alias9160