Автор работы: Пользователь скрыл имя, 07 Декабря 2013 в 10:57, контрольная работа
Целью контрольной работы является ознакомление с понятием символическая (математическая) логика и ее применением, историей ее создания, а так же ознакомление с основными логическими законами.
Введение..........................................................................3
1. Создание символической логики.............................4
2. Понятие символической логики...............................5
3. Применение символической логики........................8
4. Основные логические законы...................................9
4.1 Закон тождества.....................................................9
4.2 Закон непротиворечия..........................................11
4.3 Закон исключенного третьего..............................13
4.4 Закон достаточного основания.............................15
Заключение.......................................................................20
Список используемой литературы