Основы логики

Автор работы: Пользователь скрыл имя, 29 Ноября 2011 в 21:25, реферат

Описание

Логика - это наука о формах и способах мышления. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит базовым инструментом почти любой науки.

Содержание

Введение
История логики
Основы логики
Базовые логические элементы компьютера
Логические операции и таблицы истинности
Основные законы логики
Логика в информатике
4.1. Логика в программировании
4.2. Логика и искусственный интеллект
4.3. Логика и логическое программирование
4.4. Логика в базах данных
5. Заключение
6. Список используемых источников

Работа состоит из  1 файл

реферат основы логики.doc

— 323.00 Кб (Скачать документ)

Министерство  образования и науки Республики Казахстан

Карагандинский  Государственный Технический Университет 
 

Кафедра информатики 
 
 
 
 
 

Реферат

по дисциплине информатика на тему «Основы логики» 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Караганда 2010

Содержание:

  1. Введение
  2. История логики
  3. Основы логики
    1. Базовые логические элементы компьютера
    2. Логические операции и таблицы истинности
    3. Основные законы логики
  4. Логика в информатике

    4.1.    Логика в программировании

    4.2.    Логика и искусственный интеллект

     4.3.  Логика и логическое программирование

    4.4.   Логика в базах данных

     5. Заключение

     6. Список используемых источников 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

1. Введение 

Логика - это наука о формах и способах мышления. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит базовым инструментом почти любой науки. 
 

Сущность  логики - классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном  специально для своих целей языке, использует абсолютное предметное мышление. В ней не предполагается использование контроля прагматических ошибок, погрешностей нелинейностей используемых систем отсчёта, пограничных ошибок описания, релятивизма масштабирования и т. п. Вследствие чего принято считать нормальным факт наличия в её языке парадоксов и априорных утверждений, кустовых эффектов словаря и т. п. Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями, некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение. Реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач важным оказывается, как правило, всё: и последовательность, и интуиция, и эмоции, и образное видение мира, и многое другое. Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Сфера конкретных интересов логики существенно менялась на протяжении её истории. 
 
 
 
 
 
 
 
 

2. История  логики 

Этапы развития логики. 

Логика  очень древняя наука. 

1-й этап  связан с работами ученого  и философа Аристотеля (384-322 г.г.  до н.э.). Он пытался найти ответ  на вопрос “Как мы рассуждаем”,  изучал правила мышления. Аристотель  впервые дал систематическое  изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.

Слово «логика» используется для обозначения  науки о  мышлении, о его формах и законах. Термин «логика» произошел  от греческого слова "logos" , означающего «слово»,«мысль»,«смысл», «разум» и т.д. Для обозначения науки этот термин ввел в начале III в. до н.э. основатель стоического направления в философии Зенон из Катиона, Кипр (ок. 336—264 до н.э.). Аристотель (384—322 до н.э.). Подлинный создатель науки логики, использовал для ее обозначения слово «аналитика». 

2-й этап  – появление математической, или  символической, логики. Основы ее  заложил немецкий ученый и  философ Г.В. Лейбниц (1646-1716). Он  сделал попытку построить первые  логические исчисления, считал, что можно заменит простые рассуждения действиями со знаками, и привел соответствующие правила. Но он выдвинул только идею, а развил её окончательно англичанин Д. Буль (1815-1864). Буль считается основоположником математической логики как самостоятельной дисциплины. В его работах логика обрела свой алфавит, свою орфографию и грамматику. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

3. Основы логики 

Основными формами мышления являются понятие, суждение, умозаключение. 

  • Понятие – это форма мышления, выделяющая существенные признаки предмета или класса предметов, позволяющих отличить их от других.
 

Понятие имеет две стороны: содержание и  объем.  

Содержание  понятия – совокупность существенных признаков, отраженных в этом понятии. Например, содержание понятия персональный компьютер-это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя. 

Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий. 

  • Утверждение – суждение, которое требуется доказать или опровергнуть
 
  • Суждение (высказывание, утверждение) – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным).
 
  • Рассуждение – цепочка высказываний или утверждений, определенным образом связанных  друг с другом
 
  • Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение.
 

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение  проводится в соответствии с правилами  формальной логики, то оно будет  истинным. В противном случае можно прийти к ложному умозаключению. 

  • Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.
 

Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно или ложно. 

В алгебре  высказываний простым высказываниям  ставятся в соответствии логические переменные, обозначаемые прописными буквами латинского алфавита. 
 

В алгебре  высказываний высказывания обозначаются именами логических переменных, которые  могут принимать лишь два значения: “истинна” (1) и “ложь” (0). 

  • Логическое  выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0)
 
  • Логическое  выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0)
 
  • Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
 

При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету:

  • инверсия,
  • конъюнкция,
  • дизъюнкция,
  • импликация и эквивалентность.
 

Операции  одного приоритета выполняются слева  направо. Для изменения порядка  действий используются скобки. 

  • Логическое  выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0).

3.1. Базовые логические элементы компьютера 
 

                           Логический элемент И

конъюнктор 
 

                          Логический элемент ИЛИ

дизъюнктор 
 
 

   

Логический  элемент НЕ

инвертор 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

3.2. Логические операции и таблицы истинности 

Рис. 3.2.1. 

Логическое  умножение - КОНЪЮНКЦИЯ  - это новое  сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. Конъюнкция определяет соединение двух логических выражений с помощью союза И. (Рис.) 
 

Рис. 3.2.2. 

Логическое  сложение – ДИЗЪЮНКЦИЯ - это новое сложное выражение будет истинным тогда и только тогда, когда истинно хотя бы одно из исходных (простых) выражений. Дизъюнкция определяет соединение двух логических выражений с помощью союза ИЛИ. (Рис.) 

  
 
 

Рис. 3.2.3. 

Логическое  отрицание - ИНВЕРСИЯ - если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным. Данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО. (Рис.) 

Рис. 3.2.4.

 

Логическое  следование - ИМПЛИКАЦИЯ - связывает два простых логических выражения, из которых первое является условием (А), а второе (В)– следствием из этого условия. Результатом ИМПЛИКАЦИИ является ЛОЖЬ только тогда, когда условие А истинно, а следствие В ложно. Обозначается символом  "следовательно"  и  выражается словами ЕСЛИ … , ТО …( Рис.). 
 

Рис. 3.2.5. 
 

Логическая  равнозначность - ЭКВИВАЛЕНТНОСТЬ - определяет результат сравнения двух простых логических выражений А и В. Результатом ЭКВИВАЛЕНТНОСТИ является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. Обозначается символом "эквивалентности" 

 

Порядок выполнения логических операций в сложном  логическом выражении:

1. инверсия 

2. конъюнкция

3. дизъюнкция

4. импликация

5. эквивалентность 

 Для  изменения указанного порядка выполнения операций используются скобки. 

  
 
 
 
 
 
 
 
 
 
 

    1. Основные  законы логики
 

Основные  законы логики: А = А  – закон тождества

               А & = 0 – закон непротиворечия

               A Ú = 1 – закон исключенного третьего

                = А – закон двойного отрицания 

Информация о работе Основы логики