План лекції

1. Визначення алетичної пропозиційної логіки.

2. Мова алетичної пропозиційної логіки.

3. Функціонально-числова семантика для алетичної пропозицій­ної логіки.

4. Семантика можливих світів для алетичної пропозиційної ло­гіки.

5. Аналітико-таблична семантика для алетичної пропозиційної логіки.

6. Синтаксис алетичної пропозиційної логіки.

7. Головні закони алетичної пропозиційної логіки.

Рекомендована література

Жоль К.К. Логика. Введение в современную символическую логику / К. К. Жоль. - К.: Стилос, 2000.

Ивлев Ю.В. Логика / Ю. В. Ивлев. - M.: Проспект, 2009.

Ішмуратов А.Т. Вступ до філософської логіки / А. Т. Ішмуратов. - К.: Абрис, 1997.

Карамишева Н.В. Логіка. Пізнання. Евристика / Н. В. Карамишева. - Львів: Астролябія, 2002.

Конверський А.Є. Логіка (традиційна та сучасна) / А. Є. Кон- верський. - K.: ЦНЛ, 2004.

Ненашев М.И. Введение в логику ІМ. И. Ненашев. - M.: Гардарики, 2004.

Непейвода Н.Н. Прикладная логика / H. Н. Непейвода. - Новоси­бирск: Изд-во УдГУ, 2004.

Символическая логика: Учебник / Под ред. Я.А.Слинина, Э. Ф. Ка­раваева, А.И.Мигунова.-СПб.: Изд-во С.-Петерб. ун-та, 2005.

Солодухин О.А. Логика / О. А. Солодухин. - Ростов-н/Д: Феникс. 2000.

Хоменко I.B. Логіка /1. В. Хоменко. - К.: Абрис, 2004.

Виклад лекції

1.