Логика высказываний

Автор: Пользователь скрыл имя, 18 Декабря 2012 в 21:33, дипломная работа

Краткое описание

Целью данной работы является изучение понятия «логическое следование», и подбор дидактического материала для проведения факультативного курса.
Из данной цели вытекают следующие задачи:
1. изучение теоретической литературы по теме.
2. разработка и апробирование факультатива Практическая значимость работы состоит в том, что рассмотренный
материал представляет большую ценность, как для развития логического мышления, так и для повышения интереса к математике.

Оглавление

Введение..................................................................................................................3
Глава I. Классическая логика высказываний и элементы использования
строгой и релевантной импликаций в учебном процессе...................................4
§1 Проблема логического вывода.........................................................................4
§2 Классическая логика высказываний................................................................7
§3.Парадоксы классической импликации...........................................................15
§4 Способы решения парадоксов.........................................................................18
Глава II. Трёхзначная логика Лукасевича...........................................................23
§ 1. Введение в логику третьего истинностного значения.
Аксиоматизация.....................................................................................................23
§2. Трехзначная модальная логика Лукасевича..................................................26
§3. Погружение классической логики в Ь3..........................................................34
§4. Импликация Лукасевича и трехзначная интуиционистская логика...........36
Заключение.............................................................................................................41
Приложение (факультатив)...................................................................................43
Актуализация.........................................................................................................43
Содержание факультативного курса...................................................................45
Содержание занятий.............................................................................................45
Список используемой литературы:.....................................................................57