Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЛОГИКА практические з..doc
Скачиваний:
2
Добавлен:
30.08.2019
Размер:
1.24 Mб
Скачать

Х. Таблиця символів

  1. p, q, r – пропозиційні змінні

  1. Логічні константи:

/\, & (кон’юнкція)

\/ (диз’юнкція)

.

\/ , \/ (строга диз’юнкція)

→ , (імплікація)

↔ , ≡ , (еквіваленція)

− , (заперечення)

  1. 1, 0 (і, х) - символи, що означають „істина”, „хибність”.

  2. а, в, с... – символи для предметних постійних.

  3. x, y, z.... - символи для предметних змінних.

  4. P, Q, R - предикатні змінні.

  5. - квантор спільності.

  6. - квантор існування.

  7. - порожня множина.

  8. - об’єднання множин.

  9. - перетинання множин.