Реферат Язык логики высказывания, номер: 209744

"СОДЕРЖАНИЕ

ВВЕДЕНИЕ 3
1. ОСНОВЫ ЛОГИКИ ВЫСКАЗЫВАНИЙ 4
1.1. Простые и сложные высказывания 6
1.2. Логические операции над высказываниями 7
2. СИНТАКСИС И СЕМАНТИКА ЛОГИКИ ВЫСКАЗЫВАНИЙ 9
3. ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ 12
4. АЛГОРИТМ ФОРМАЛИЗАЦИИ ВЫСКАЗЫВАНИЙ 13
4.1. Составление таблиц истинности для формул логики высказываний 14
5. ЯЗЫК И МЕТАЯЗЫК. ИСКУССТВЕННЫЕ ЯЗЫКИ 15
6. ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ
СУЖДЕНИЯМИ 17
ЗАКЛЮЧЕНИЕ 19
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 20
1. Ивлев, Ю.В. Логика: Учебник. - 4-е изд. перераб. и доп. [Текст] / Ю.В. Ивлев – М.: ТК Велби, Изд-во Проспект, 2008. - 304 с.
2. Свинцов, В.И. Логика. Элементарный курс для гуманитарных специальностей. [Текст] / В.И. Свинцов – М.: Скорина, Весь мир, 1998. - 351 с.
3. Оселедчик, М.Б. Логика. Программа, планы семинарских занятий, задания для контрольных работ, методические указания. Для всех специальностей. [Текст]/ М.Б. Оселедчик - М.: Изд-во МГУП, 2007. - 108 с.
4. Брюшинкин, В.Н. Логика: Учебник. 3-е изд., доп. и исправ. [Текст] / В.Н. Брюшинкин – М.: Гардарики, 2001. -334 с.
5. Гетманова, А.Д. Учебник логики. Со сборником задач. - 7-е изд., стер. [Текст]/ А.Д. Гетманова – М.: КНОРУС, 2008. - 368 с.
6. Кириллов, В.И. Упражнения по логике [Текст] / В.И.Кириллов, Г.А. Орлов, Н.И. Фокина - 4-е изд., перераб. и доп.– М.: МЦУПЛ, 1999. – 160 с.
7. Малахов, В.П. Формальная логика. - Учебник. - М.: Академический Проект, [Текст] / В.П. Малахов. – 2001. – 384 с.
8. Чуешов, В.И. Основы современной логики: Учебное пособие [Текст] /В.И. Чуешов. – Мн.: Новое знание, 2003. - 207 с.
"