Стислий список логічних символів

у символічній (математичній) логіці

а Λ b; a · b; a & b; “а і b”	Кон’юнкція
а V b; “а або b”	Диз’юнкція
а  b; а b; “а імплікує b”, “якщо а, то b”	Імплікація
а  b; а b; а  b; “а еквівалентно b”, “а, якщо і тільки якщо b”	Еквіваленція
 а; “не-а”	Заперечення
( х), “існує х, яке...”	Квантор існування
( х), “для всіх х”	Квантор спільності
a, b, c, ..., p, q...	Логічні змінні