знаки в логике

Ответ от Даниил Мартынов[гуру]
Импликация
Отрицание - "не", "неверно, что …" "Неверно, что Земля квадратная". Обычно обозначается знаком "¬" или "~"
. Конъюнкция (соединительное суждение) - лог. "и" ("а", "но", "да", "вместе с тем") Обычно обозначается знаком "&" или "Λ".
- Слабая дизъюнкция
Обычно обозначается знаком "v"
Сильная дизъюнкция
Обычно обозначается знаком "v" (под v _)
Импликация (условное суждение) - лог. связка "Если… , то… " Обычно обозначается знаком "→".
Эквиваленция (двойная импликация) - лог. связка "если и только если… , то… " ("тогда и только тогда, когда… ")
Обычно обозначается знаком "≡".
Источник: