СТИСЛИЙ СПИСОК ЛОГІЧНИХ СИМВОЛІВ

а Λ b; a · b; a & b; “а і b”

Кон’юнкція

а V b; “а або b”

Диз’юнкція

а ® b; а É b; “а імплікує b”, “якщо а, то b”

Імплікація

а º b; а « b; а » b; “а еквівалентно b”,

“а, якщо і тільки якщо b”

Еквіваленція

Ø а; “не-а”

Заперечення

($ х), “існує х, яке...”

Квантор існування

(" х), “для всіх х”

Квантор спільності

a, b, c, ..., p, q...

Логічні змінні