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

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


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

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

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

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

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

Содержание

СЛОВО ЛОГИКА ОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ. САМ ТЕРМИН "ЛОГИКА" ПРОИСХОДИТ ОТ ДРЕВНЕГРЕЧЕСКОГО LOGOS, ОЗНАЧАЮЩЕГО "СЛОВО, МЫСЛЬ, ПОНЯТИЕ, РАССУЖДЕНИЕ, ЗАКОН".
Основы математической логики.Логические операции. СЛОВО ЛОГИКА ОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ  ПРОЦЕСС МЫШЛЕНИЯ.   САМ ТЕРМИН ФОРМАЛЬНАЯ ЛОГИКА - НАУКА О ФОРМАХ И ЗАКОНАХ МЫШЛЕНИЯ.Основными формами мышления являются понятия, суждения и умозаключения. ПОНЯТИЕ - ЭТО ФОРМА МЫШЛЕНИЯ, КОТОРАЯ ВЫДЕЛЯЕТ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ПРЕДМЕТА ИЛИ КЛАССА СУЖДЕНИЯ - ЭТО ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ СВЯЗЬ МЕЖДУ Суждения могут быть простыми и сложными. СУЖДЕНИЯ В МАТЕМАТИЧЕСКОЙ ЛОГИКЕ НАЗЫВАЮТ ВЫСКАЗЫВАНИЯМИ ИЛИ ЛОГИЧЕСКИМИ ВЫРАЖЕНИЯМИ.   УМОЗАКЛЮЧЕНИЕ - ПРИЕМ МЫШЛЕНИЯ, ПОЗВОЛЯЮЩИЙ НА ОСНОВЕ ОДНОГО ИЛИ НЕСКОЛЬКИХ СУЖДЕНИЙ-ПОСЫЛОК ПОЛУЧИТЬ МАТЕМАТИЧЕСКАЯ ЛОГИКА  ИЗУЧАЕТ ВОПРОСЫ ПРИМЕНЕНИЯ МАТЕМАТИЧЕСКИХ МЕТОДОВ ДЛЯ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ И Логическое выражение - это символическая запись, состоящая из логических величин (констант или переменных), объединенных логическими операциями (связками). Простым высказываниям ставятся в соответствие логические переменные, значение которых равно 1, если СУЩЕСТВУЮТ РАЗНЫЕ ВАРИАНТЫ ОБОЗНАЧЕНИЯ ИСТИННОСТИ И ЛОЖНОСТИ ПЕРЕМЕННЫХ: ЛОГИЧЕСКАЯ ОПЕРАЦИЯ10ИНВЕРСИЯ (отрицание)Доска зелёнаяДоска НЕ зелёная. КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ): 0001“У кота есть хвост” ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ): 1110“Мел белый”“Доска черная“ ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ): СООТВЕТСТВУЕТ ОБОРОТУ ЕСЛИ ..., ТО ...;  ЭКВИВАЛЕНЦИЯ (РАВНОЗНАЧНОСТЬ): СООТВЕТСТВУЕТ ОБОРОТАМ РЕЧИ ТОГДА И ТОЛЬКО ТОГДА; В ТОМ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ ИМЕЮТ СЛЕДУЮЩИЙ ПРИОРИТЕТ:действия в скобках¬ - инверсия& - конъюнкцияV - 1) Число 376 четное и трехзначное. 2) Неверно, что Солнце движется вокруг Земли. Укажите истинность (ложность) высказываний. ДЛЯ КАКОГО ИЗ УКАЗАННЫХ ЗНАЧЕНИЙ ЧИСЛА X ЛОЖНО ВЫРАЖЕНИЕ( X >      а) (1v1)v(1v0);         б) ((1v0)v1) &1;         в)      а) (1v1)v(1v0); 1        б) ((1v0)v1) &1; 1        в)
Слайды презентации

Слайд 2 СЛОВО ЛОГИКА ОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ. САМ

СЛОВО ЛОГИКА ОЗНАЧАЕТ СОВОКУПНОСТЬ ПРАВИЛ, КОТОРЫМ ПОДЧИНЯЕТСЯ ПРОЦЕСС МЫШЛЕНИЯ.  САМ ТЕРМИН

ТЕРМИН "ЛОГИКА" ПРОИСХОДИТ ОТ ДРЕВНЕГРЕЧЕСКОГО LOGOS, ОЗНАЧАЮЩЕГО "СЛОВО, МЫСЛЬ,

ПОНЯТИЕ, РАССУЖДЕНИЕ, ЗАКОН".

Слайд 3 ФОРМАЛЬНАЯ ЛОГИКА - НАУКА О ФОРМАХ И ЗАКОНАХ МЫШЛЕНИЯ.
Основными

ФОРМАЛЬНАЯ ЛОГИКА - НАУКА О ФОРМАХ И ЗАКОНАХ МЫШЛЕНИЯ.Основными формами мышления являются понятия, суждения и умозаключения.

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


Слайд 4 ПОНЯТИЕ - ЭТО ФОРМА МЫШЛЕНИЯ, КОТОРАЯ ВЫДЕЛЯЕТ СУЩЕСТВЕННЫЕ

ПОНЯТИЕ - ЭТО ФОРМА МЫШЛЕНИЯ, КОТОРАЯ ВЫДЕЛЯЕТ СУЩЕСТВЕННЫЕ ПРИЗНАКИ ПРЕДМЕТА ИЛИ

ПРИЗНАКИ ПРЕДМЕТА ИЛИ КЛАССА ПРЕДМЕТОВ, ОТЛИЧАЮЩИЕ ЕГО ОТ ДРУГИХ.

НАПРИМЕР, КОМПЬЮТЕР, ЧЕЛОВЕК, УЧЕНИКИ.

Слайд 5 СУЖДЕНИЯ - ЭТО ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ УТВЕРЖДАЕТСЯ

СУЖДЕНИЯ - ЭТО ФОРМА МЫШЛЕНИЯ, В КОТОРОЙ УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ СВЯЗЬ

ИЛИ ОТРИЦАЕТСЯ СВЯЗЬ МЕЖДУ ПРЕДМЕТОМ И ЕГО ПРИЗНАКОМ, ОТНОШЕНИЯ

МЕЖДУ ПРЕДМЕТАМИ ИЛИ ФАКТ СУЩЕСТВОВАНИЯ ПРЕДМЕТА И КОТОРАЯ МОЖЕТ БЫТЬ ЛИБО ИСТИННОЙ, ЛИБО ЛОЖНОЙ.

Слайд 6 "ДВАЖДЫ ДВА РАВНО ЧЕТЫРЕМ" - ИСТИННОЕ СУЖДЕНИЕ "ПРОЦЕССОР ПРЕДНАЗНАЧЕН

ДЛЯ ПЕЧАТИ" - ЛОЖНОЕ.


Слайд 7 Суждения могут быть простыми и сложными. "Весна наступила,

Суждения могут быть простыми и сложными.

и грачи прилетели" - сложное суждение, состоящее из двух

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

Слайд 8 СУЖДЕНИЯ В МАТЕМАТИЧЕСКОЙ ЛОГИКЕ НАЗЫВАЮТ ВЫСКАЗЫВАНИЯМИ ИЛИ ЛОГИЧЕСКИМИ ВЫРАЖЕНИЯМИ.

СУЖДЕНИЯ В МАТЕМАТИЧЕСКОЙ ЛОГИКЕ НАЗЫВАЮТ ВЫСКАЗЫВАНИЯМИ ИЛИ ЛОГИЧЕСКИМИ ВЫРАЖЕНИЯМИ.

Слайд 9   УМОЗАКЛЮЧЕНИЕ - ПРИЕМ МЫШЛЕНИЯ, ПОЗВОЛЯЮЩИЙ НА ОСНОВЕ ОДНОГО

  УМОЗАКЛЮЧЕНИЕ - ПРИЕМ МЫШЛЕНИЯ, ПОЗВОЛЯЮЩИЙ НА ОСНОВЕ ОДНОГО ИЛИ НЕСКОЛЬКИХ СУЖДЕНИЙ-ПОСЫЛОК

ИЛИ НЕСКОЛЬКИХ СУЖДЕНИЙ-ПОСЫЛОК ПОЛУЧИТЬ НОВОЕ СУЖДЕНИЕ (ЗНАНИЕ ИЛИ ВЫВОД). ПРИМЕРАМИ

УМОЗАКЛЮЧЕНИЙ ЯВЛЯЮТСЯ ДОКАЗАТЕЛЬСТВА ТЕОРЕМ В ГЕОМЕТРИИ.

Слайд 10 МАТЕМАТИЧЕСКАЯ ЛОГИКА  ИЗУЧАЕТ ВОПРОСЫ ПРИМЕНЕНИЯ МАТЕМАТИЧЕСКИХ МЕТОДОВ ДЛЯ РЕШЕНИЯ

МАТЕМАТИЧЕСКАЯ ЛОГИКА  ИЗУЧАЕТ ВОПРОСЫ ПРИМЕНЕНИЯ МАТЕМАТИЧЕСКИХ МЕТОДОВ ДЛЯ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ

ЛОГИЧЕСКИХ ЗАДАЧ И ПОСТРОЕНИЯ ЛОГИЧЕСКИХ СХЕМ, КОТОРЫЕ ЛЕЖАТ В

ОСНОВЕ РАБОТЫ ЛЮБОГО КОМПЬЮТЕРА.

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

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

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


Слайд 12 Простым высказываниям ставятся в соответствие логические переменные, значение которых

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

равно 1, если высказывание истинно, и 0, если высказывание

ложно.

Слайд 13 СУЩЕСТВУЮТ РАЗНЫЕ ВАРИАНТЫ ОБОЗНАЧЕНИЯ ИСТИННОСТИ И ЛОЖНОСТИ ПЕРЕМЕННЫХ:

СУЩЕСТВУЮТ РАЗНЫЕ ВАРИАНТЫ ОБОЗНАЧЕНИЯ ИСТИННОСТИ И ЛОЖНОСТИ ПЕРЕМЕННЫХ:

Слайд 14 ЛОГИЧЕСКАЯ ОПЕРАЦИЯ

1
0
ИНВЕРСИЯ (отрицание)
Доска зелёная

Доска НЕ зелёная.

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ10ИНВЕРСИЯ (отрицание)Доска зелёнаяДоска НЕ зелёная.

Слайд 15 КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ):
0
0
0
1
“У кота есть хвост”
"У зайца

КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ): 0001“У кота есть хвост”

есть хвост“

"У кота есть хвост И у зайца есть

хвост« = 1

“У кота длинный хвост”
 "У зайца длинный хвост«
"У кота длинный хвост И у зайца длинный хвост« = 0


Слайд 16 ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ):
1
1
1
0
“Мел белый”
“Доска черная“

"Мел белый ИЛИ

ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ): 1110“Мел белый”“Доска черная“

доска черная" =1
“Мел черный”
“2 * 2 = 7”
“Мел черный”

ИЛИ
“2 * 2 = 7” = 0

Слайд 17 ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ): СООТВЕТСТВУЕТ ОБОРОТУ ЕСЛИ ..., ТО

ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ): СООТВЕТСТВУЕТ ОБОРОТУ ЕСЛИ ..., ТО ...;

...; "ЕСЛИ КАЖДОЕ СЛАГАЕМОЕ ДЕЛИТСЯ НА 3, ТО И

СУММА ДЕЛИТСЯ НА 3" =1

1

1

0

1


Слайд 18 ЭКВИВАЛЕНЦИЯ (РАВНОЗНАЧНОСТЬ): СООТВЕТСТВУЕТ ОБОРОТАМ РЕЧИ ТОГДА И ТОЛЬКО

ЭКВИВАЛЕНЦИЯ (РАВНОЗНАЧНОСТЬ): СООТВЕТСТВУЕТ ОБОРОТАМ РЕЧИ ТОГДА И ТОЛЬКО ТОГДА; В ТОМ

ТОГДА; В ТОМ И ТОЛЬКО В ТОМ СЛУЧАЕ;
1
0
0
1

“ железо тяжелое” И “пух легкий” = 1



"железо легкое" И "пух тяжелый“ =1

Слайд 19 ЛОГИЧЕСКИЕ ОПЕРАЦИИ ИМЕЮТ СЛЕДУЮЩИЙ ПРИОРИТЕТ:
действия в скобках
¬ -

ЛОГИЧЕСКИЕ ОПЕРАЦИИ ИМЕЮТ СЛЕДУЮЩИЙ ПРИОРИТЕТ:действия в скобках¬ - инверсия& - конъюнкцияV

инверсия
& - конъюнкция
V - дизъюнкция
⇒ - импликация
⬄ -

эквиваленция

Слайд 20 1) Число 376 четное и трехзначное.

2) Неверно, что Солнце

1) Число 376 четное и трехзначное. 2) Неверно, что Солнце движется вокруг Земли. Укажите истинность (ложность) высказываний.

движется вокруг Земли.
Укажите истинность (ложность) высказываний.


Слайд 21 ДЛЯ КАКОГО ИЗ УКАЗАННЫХ ЗНАЧЕНИЙ ЧИСЛА X ЛОЖНО

ДЛЯ КАКОГО ИЗ УКАЗАННЫХ ЗНАЧЕНИЙ ЧИСЛА X ЛОЖНО ВЫРАЖЕНИЕ( X

ВЫРАЖЕНИЕ
( X > 2 ) ИЛИ НЕ ( X

> 1)?

1) 1
2) 2
3) 3
4) 4


Слайд 22   а) (1v1)v(1v0);
        б)

   а) (1v1)v(1v0);         б) ((1v0)v1) &1;         в) (0v1)

((1v0)v1) &1;
        в) (0v1) ⇒ (1v0);
       

г) (0&1) ⇔  0;
        д) 1&(1&1)&1;
        е) ((1v0)&(1&1))&(0v1);
        ж) ((1&0)v(1&0))v1;
       з) ((1&1)v0) ⇒ (0v0);
        и) ((0&0)v0) ⇔   (1v1).

Укажите истинность (ложность) высказываний.


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