Содержание
- Введение 1
- Семантика логических союзов 'и' и 'или' 2
- - Формальная логика и таблицы истинности 2.1
- - Свойства и законы логических связок 2.2
- - Неклассические логики и вариации 2.3
- Применение в естественных языках и информатике 3
- - Логические союзы в естественном языке 3.1
- - Логические операции в программировании 3.2
- - Применение в информационных системах 3.3
- Заключение 4
- Список литературы 5