Презентация на тему "Основы логики"

Содержание

• 
  Слайд 1

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

• 
  Слайд 2

  Логика – это наука о формах и способах мышления.

  Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания. 2

• 
  Слайд 3

  Мышление осуществляется в следующих формах:

  3

• 
  Слайд 4
  

  Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.

  Пример: Понятие «компьютер» объединяет множество электронных устройств, которые предназначены для обработки информации и обладают монитором и клавиатурой. 4

• 
  Слайд 5
  

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

  Алгебра высказываний определяет истинность или ложность составных высказываний 5

• 
  Слайд 6
  

  Умозаключение - прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить новое суждение (знание или вывод).

  Примерами умозаключений являются доказательства теорем в геометрии. Теорема Пифагора 6

• 
  Слайд 7
  

  Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.

  Создателем алгебры логики является живший в ХIХ веке английский математик Джордж Буль, в честь которого эта алгебра названа булевой алгеброй высказываний. 7

• 
  Слайд 8
  

  Логическое выражение - это символическая запись, состоящая из логических величин (констант или переменных), объединенных логическими операциями (связками). Логические связки - это слова, которые подразумевают определённые логические связи между высказываниями- это “и”, “или”,      “не”, “если ... то”, “либо ... либо” и другие 8

• 
  Слайд 9
  

  В булевой алгебре простым высказываниям ставятся в соответствие логические переменные, значение которых равно 1, если высказывание истинно, и 0, если высказывание ложно. Существуют разные варианты обозначения истинности и ложности переменных:

  9

• 
  Слайд 10
  

  Инверсия- это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным.

  Знаки операции инверсии:НЕ; ¬ 10

• 
  Слайд 11
  

  11 Таблица истинности операции инверсия

• 
  Слайд 12
  

  Объединение двух или более высказываний в одно при помощи союза «И» называетсяоперацией логического умножения или конъюнкцией.Логическое выражение (конъюнкция) истинно только тогда, когда истинны входящие в него простые высказывания.

  Знаки операции конъюнкции:&; И; ˄ 12

• 
  Слайд 13
  

  13 Таблица истинности операции конъюнкция

• 
  Слайд 14
  

  Объединение двух или более высказываний в одно при помощи союза «ИЛИ» называется операцией логического сложения или дизъюнкцией.Выражение дизъюнкции истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

  14 Знаки операции дизъюнкции:&; ИЛИ; ˅

• 
  Слайд 15
  

  15 Таблица истинности операции дизъюнкции

• 
  Слайд 16
  

  Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. То есть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.

  16 Знаки операции импликации:если…, то… ; =>

• 
  Слайд 17
  

  17 Таблица истинности операции импликации Импликация (логическое следование) - соответствует речевому обороту ЕСЛИ... ТО

• 
  Слайд 18
  

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

  18

• 
  Слайд 19
  

  19 Таблица истинности эквиваленции:

• 
  Слайд 20
  

  20 Порядок выполнения логических операций в сложном логическом выражении: Инверсия; Конъюнкция; Дизъюнкция; Импликация; Эквивалентность.

• 
  Слайд 21
  

  Задание 1: Запишите высказывание “если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог”, используя знаки логических операций.

  21 ОТВЕТ: (A v B) -> C

• 
  Слайд 22
  

  Задание 2:определить результат логического выражения при заданных параметрах

  22 ¬( ¬B & ¬C )  ¬( ¬A & ¬C ), при А=1, В=1, С=1 (А  (А & В)) & (А & (А  В)), при А=1, В=1

• 
  Слайд 23
  

  Задание 3:Для какого имени истинно высказывание:¬ (Первая буква имени гласная → Четвертая буква имени согласная)?

  23 1) ЕЛЕНА 2) ВАДИМ 3) АНТОН 4) ФЕДОР