Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

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

Содержание

Логика – это наука о формах и способах мышления.Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания.
Основы логики Логика – это наука о формах и способах мышления.Основы формальной логики заложил Мышление осуществляется в следующих формах: Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Пример: Понятие Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о Умозаключение - прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают Логическое выражение - это символическая запись, состоящая из логических величин (констант или В булевой алгебре простым высказываниям ставятся в соответствие логические переменные, значение которых Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то Таблица истинностиоперации инверсия Объединение двух или более высказываний в одно при помощи союза «И» называется Таблица истинностиоперации конъюнкция Объединение двух или более высказываний в одно при помощи союза «ИЛИ» называется Таблица истинностиоперации дизъюнкции Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме Таблица истинностиоперации импликацииИмпликация (логическое следование) - соответствует речевому обороту ЕСЛИ... ТО Эквиваленция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям Таблица истинности эквиваленции: Порядок выполнения логических операций в сложном логическом выражении:Инверсия;Конъюнкция;Дизъюнкция; Импликация;Эквивалентность. Задание 1: Запишите высказывание   “если я куплю яблоки или абрикосы, Задание 2:определить результат логического выражения при заданных параметрах    ¬( Задание 3:Для какого имени истинно высказывание:  ¬ (Первая буква имени гласная
Слайды презентации

Слайд 2 Логика – это наука о формах и способах

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

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

формы мышления (речи) от его содержания.

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

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

Слайд 4 Понятие – это форма мышления, фиксирующая основные, существенные

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

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

предназначены для обработки информации и обладают монитором и клавиатурой.

Слайд 5 Высказывание – это форма мышления, в которой что-либо

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

утверждается или отрицается о реальных предметах, их свойствах и

отношениях между ними.

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


Слайд 6 Умозаключение - прием мышления, позволяющий на основе одного

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

или нескольких суждений-посылок получить новое суждение (знание или вывод).
Примерами

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

Теорема Пифагора


Слайд 7 Алгебра логики — это математический аппарат, с помощью

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

которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.
Создателем

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


Слайд 8 Логическое выражение - это символическая запись, состоящая из

Логическое выражение - это символическая запись, состоящая из логических величин (констант

логических величин (констант или переменных), объединенных логическими операциями (связками).



Логические связки - это слова, которые подразумевают определённые логические связи между высказываниями - это “и”, “или”,     

“не”, “если ... то”, “либо ... либо” и другие


Слайд 9 В булевой алгебре простым высказываниям ставятся в соответствие

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

логические переменные, значение которых равно 1, если высказывание истинно,

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

Слайд 10 Инверсия - это сложное логическое выражение, если исходное

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно,

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

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

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


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

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

Слайд 12 Объединение двух или более высказываний в одно при

Объединение двух или более высказываний в одно при помощи союза «И»

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

выражение (конъюнкция) истинно только тогда, когда истинны входящие в него простые высказывания.

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


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

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

Слайд 14 Объединение двух или более высказываний в одно при

Объединение двух или более высказываний в одно при помощи союза «ИЛИ»

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

дизъюнкции истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

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


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

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

Слайд 16 Импликация - это сложное логическое выражение, которое истинно

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

во всех случаях, кроме как из истины следует ложь.

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

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


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

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

обороту ЕСЛИ... ТО


Слайд 18 Эквиваленция - это логическая операция, ставящая в соответствие

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

каждым двум простым высказываниям составное высказывание, являющееся истинным тогда

и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

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

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

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

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


Импликация;
Эквивалентность.


Слайд 21 Задание 1: Запишите высказывание “если я куплю яблоки

Задание 1: Запишите высказывание  “если я куплю яблоки или абрикосы,

или абрикосы, то приготовлю фруктовый пирог”, используя знаки логических

операций.

ОТВЕТ:

(A v B) -> C


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

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


¬( ¬B & ¬C )  ¬( ¬A &

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

  • Имя файла: osnovy-logiki.pptx
  • Количество просмотров: 143
  • Количество скачиваний: 0