Алгебра логики

1. Основные понятия логики

1.1. Понятие

1.1.1. Фут-единица измерения

1.2. Высказывание

1.2.1. Москва-столица России

1.3. Умозаключение

1.3.1. Все металлы - простые вещества. Литий - металл. Литий - простое вещество.

2. Высказывания

2.1. Простые

2.1.1. Логические переменные

2.2. Составные

2.2.1. Логические функции

2.2.1.1. Принимают значения 0 и 1

3. Таблица истинности

3.1. Таблицу, показывающую, какие значения принимает логическая функция при всех сочетаниях значений ее аргументов, называют таблицей истинности логической функции

4. Законы алгебры логики

4.1. Закон двойного отрицания

4.2. Переместительный закон

4.3. Сочетательный закон

4.4. Распределительный закон

4.5. Закон де Моргана

4.6. Закон идемпотентности

4.7. Законы исключения констант

5. Логические выражения

5.1. Простые

5.1.1. Фут больше мили

5.2. Сложные

5.2.1. Наверно, что миля больше километра и фут больше мили

6. Раздел математической логики, в котором изучаются логические операции над высказываниями

7. Логические операции

7.1. Инверсия

7.1.1. Логическое отрицание

7.2. Конъюнкция

7.2.1. Логическое умножение

7.3. Дизъюнкция

7.3.1. Логическое сложение

7.4. Импликация

7.4.1. Логическое следование

7.5. Эквивалентность

7.5.1. Логическая равнозначность