<<
>>

ДОДАТКИ

8.1. МОВА ЛОГІКИ КЛАСІВ (МНОЖИН)

А, В, С,... - позначають класи (множини)

U - універсальний клас

0 - порожній клас

∩ - перетин класів (логічний добуток)

U - об’єднання класів (логічна сума)

= - рівність класів

≠ - нерівність класів

- (~) - доповнення до класу

(...) - дужки (знаки пунктуації)

∈ - належність елемента класу (множині)

і - заперечення належності елемента класу (множині)

⊂ — включення підмножини в множину

⊂ - включення множини в множину

249" class="lazyload" data-src="/files/uch_group82/uch_pgroup234/uch_uch6978/image/image249.jpg">

8.7.

ОСНОВНІ ПРАВИЛА І ЗАКОНИ ЧИСЛЕННЯ ПРЕДИКАТІВ

(а) Правила першого роду:

б) Правила другого роду:

8.8. ТАБЛИЦІ ІСТИННОСТІ ВИСЛОВЛЕНЬ, З’ЄДНАНИХ СПОЛУЧНИКАМИ

8.9. АНАЛІТИЧНІ ПРАВИЛА ЛОГІКИ ВИСЛОВЛЕНЬ

8.10. АНАЛІТИЧНІ ПРАВИЛА ЛОГІКИ ПРЕДИКАТІВ

8.11 КЛЮЧІ ДО ТЕСТІВ

1.1.3. Мова логіки класів

1.2.3. Мова класичної логіки висловлень

1.3.3. Мова класичної логіки предикатів

2.5.6. Логічний аналіз понять

3.5. Логічний аналіз суджень (висловлень)

4.5 Логічні закони

5.6. Логічний аналіз міркувань

6.5. ЛОГІЧНІ ОСНОВИ АРГУМЕНТАЦІЇ

7. ПІДСУМКОВИЙ ТЕСТ

8.12.

<< | >>
Источник: Формальна логіка. Розв’язкові процедури, алгоритми, словник базових термінів і понять: навч. посібник / О.С.Гасяк. - Вид. 2-ге, переробл. та доповн. - Чернівці : Чернівецький нац. ун-т,2014. - 544 с.. 2014

Еще по теме ДОДАТКИ: