Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
_txt_biletskv_teach_logics.doc
Скачиваний:
16
Добавлен:
22.03.2015
Размер:
410.11 Кб
Скачать

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

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

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

Кон’юнкція

а V b; “а або b”

Диз’юнкція

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

Імплікація

аb; а b; аb; “а еквівалентно b”,

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

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

а; “не-а”

Заперечення

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

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

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

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

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

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