Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Презентации / Основные понятия и операции науки логика.

Основные понятия и операции науки логика.

Идёт приём заявок на самые массовые международные олимпиады проекта "Инфоурок"

Для учителей мы подготовили самые привлекательные условия в русскоязычном интернете:

1. Бесплатные наградные документы с указанием данных образовательной Лицензии и Свидeтельства СМИ;
2. Призовой фонд 1.500.000 рублей для самых активных учителей;
3. До 100 рублей за одного ученика остаётся у учителя (при орг.взносе 150 рублей);
4. Бесплатные путёвки в Турцию (на двоих, всё включено) - розыгрыш среди активных учителей;
5. Бесплатная подписка на месяц на видеоуроки от "Инфоурок" - активным учителям;
6. Благодарность учителю будет выслана на адрес руководителя школы.

Подайте заявку на олимпиаду сейчас - https://infourok.ru/konkurs


Международный конкурс по математике «Поверь в себя»

для учеников 1-11 классов и дошкольников с ЛЮБЫМ уровнем знаний

Задания конкурса по математике «Поверь в себя» разработаны таким образом, чтобы каждый ученик вне зависимости от уровня подготовки смог проявить себя.

Конкурс проходит полностью дистанционно. Это значит, что ребенок сам решает задания, сидя за своим домашним компьютером (по желанию учителя дети могут решать задания и организованно в компьютерном классе).

Подробнее о конкурсе - https://urokimatematiki.ru/

  • Информатика
Основные понятия и операции науки логика
Логика - наука о формах, методах и законах правильного мышления. Родоначальни...
Алгебра логики – раздел математики, изучающий логические высказывания и метод...
Элементы алгебры логики: Логические переменные - суждения - высказывание, о к...
Логические константы - цифры 0 и 1, которые обозначают значения логических пе...
Логические операции: 1. Логическое умножение - конъюнкция - соединение двух л...
2. Логическое сложение - дизъюнкция - соединение двух логических переменных с...
3. Логическое отрицание - инверсия - присоединение частицы «не» к логическому...
ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Обозначение: →. Союз в естественном языке: если…, то…....
1 0 1 1 Импликация двух высказываний ложна тогда и только тогда, когда из ист...
ЛОГИЧЕСКОЕ РАВЕНСТВО (ЭКВИВАЛЕНТНОСТЬ) А – «Число А - четное» В – «Число А кр...
Запишите следующие высказывания в виде логических выражений. Число 17 нечетно...
Для какого числа X истинно высказывание X > 1  ((X < 5)→(X < 3)) 1) 1	 2) 2...
Для какого числа X истинно высказывание X > 1 ∧ ((X < 5)⇒(X < 3)) 1) 1  2) 2 ...
Для какого числа X истинно высказывание X>2 -(x>3) 1)1 2)2 3)3 4)4
Задания для закрепления пройденного материала: Что такое логика? Кто является...
Задания для закрепления пройденного материала: Определи, какие из нижеприведе...
Задания для закрепления пройденного материала: Какая операция обозначается в...
Задание на дом: 1) Составить примеры следующих суждений и определить их значе...
1 из 19

Описание презентации по отдельным слайдам:

№ слайда 1 Основные понятия и операции науки логика
Описание слайда:

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

№ слайда 2 Логика - наука о формах, методах и законах правильного мышления. Родоначальни
Описание слайда:

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

№ слайда 3 Алгебра логики – раздел математики, изучающий логические высказывания и метод
Описание слайда:

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

№ слайда 4 Элементы алгебры логики: Логические переменные - суждения - высказывание, о к
Описание слайда:

Элементы алгебры логики: Логические переменные - суждения - высказывание, о котором можно сказать - истинно оно или ложно. Суждение выражается повествовательным выражением, обозначается латинскими буквами. Высказывание не может быть выражено повелительным или вопросительным предложением

№ слайда 5 Логические константы - цифры 0 и 1, которые обозначают значения логических пе
Описание слайда:

Логические константы - цифры 0 и 1, которые обозначают значения логических переменных (ложь и истина). Логические выражения – составные суждения - образуются из нескольких простых суждений, соединенных с помощью логических операций «и», «или», «не», «если …, то …» и т.д. Суждение, не являющиеся составными, называются простым. Например, из простых высказываний А = «Петров –учитель», В = «Петров – шахматист» при помощи связки «и» можно получить составное высказывание С = «Петров –учитель и шахматист», понимаемое как «Петров –учитель, хорошо играющий в шахматы».

№ слайда 6 Логические операции: 1. Логическое умножение - конъюнкция - соединение двух л
Описание слайда:

Логические операции: 1. Логическое умножение - конъюнкция - соединение двух логических переменных с помощью логической связки «и». Обозначение: * или ^ или & Примеры: А = «На столе лежит ручка». В = «На столе лежит линейка». А^В = «На столе лежат ручка и линейка» Составное суждение со связкой «и» верно тогда и только тогда, когда верны обе его части.

№ слайда 7 2. Логическое сложение - дизъюнкция - соединение двух логических переменных с
Описание слайда:

2. Логическое сложение - дизъюнкция - соединение двух логических переменных с помощью логической связки «или». Обозначение: + или . Примеры: А = «В библиотеке можно взять книгу». В = «В библиотеке можно взять журнал». А  В = «В библиотеке можно взять книгу или журнал». Составное суждение со связкой «или» верно тогда и только тогда, когда верна хотя бы одна из его частей.

№ слайда 8 3. Логическое отрицание - инверсия - присоединение частицы «не» к логическому
Описание слайда:

3. Логическое отрицание - инверсия - присоединение частицы «не» к логическому суждению. Обозначение: A или A. Примеры: А = «Земля вращается вокруг Солнца». А = «Земля не вращается вокруг Солнца». Результат операции отрицания истинен, если исходное высказывание ложно, и наоборот.

№ слайда 9 ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Обозначение: →. Союз в естественном языке: если…, то….
Описание слайда:

ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ Обозначение: →. Союз в естественном языке: если…, то…. Если на улице, то асфальт мокрый. Если хорошо горит красный свет на светофоре, то стою и жду зеленый. Если прямо пойдешь, то коня потеряешь. Если коровы летают, то дважды два пять. Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».

№ слайда 10 1 0 1 1 Импликация двух высказываний ложна тогда и только тогда, когда из ист
Описание слайда:

1 0 1 1 Импликация двух высказываний ложна тогда и только тогда, когда из истинного высказывания следует ложное. ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (ИМПЛИКАЦИЯ) А – «На улице дождь» В – «Асфальт мокрый» А → B – «Если на улице дождь, то асфальт мокрый» Таблица истинности А В А → B 0 1 1 0 0 0 1 1

№ слайда 11 ЛОГИЧЕСКОЕ РАВЕНСТВО (ЭКВИВАЛЕНТНОСТЬ) А – «Число А - четное» В – «Число А кр
Описание слайда:

ЛОГИЧЕСКОЕ РАВЕНСТВО (ЭКВИВАЛЕНТНОСТЬ) А – «Число А - четное» В – «Число А кратно 2» А ↔ B – «Число А – четное, тогда и только тогда, когда число А кратно 2» 0 0 1 1 Эквивалентность двух высказываний истинна тогда и только тогда, когда оба высказывания истинны или оба ложны. Таблица истинности А В А ↔ B 0 1 1 0 0 0 1 1

№ слайда 12 Запишите следующие высказывания в виде логических выражений. Число 17 нечетно
Описание слайда:

Запишите следующие высказывания в виде логических выражений. Число 17 нечетное и двузначное. Неверно, что корова - хищное животное. На уроке физики ученики проводят опыты или решают задачи. Если будет солнечная погода, Катя пойдет гулять. Когда Катя выучит уроки, она пойдет гулять.

№ слайда 13 Для какого числа X истинно высказывание X &gt; 1  ((X &lt; 5)→(X &lt; 3)) 1) 1	 2) 2
Описание слайда:

Для какого числа X истинно высказывание X > 1  ((X < 5)→(X < 3)) 1) 1 2) 2 3) 3 4) 4

№ слайда 14 Для какого числа X истинно высказывание X &gt; 1 ∧ ((X &lt; 5)⇒(X &lt; 3)) 1) 1  2) 2 
Описание слайда:

Для какого числа X истинно высказывание X > 1 ∧ ((X < 5)⇒(X < 3)) 1) 1  2) 2  3) 3  4) 4

№ слайда 15 Для какого числа X истинно высказывание X&gt;2 -(x&gt;3) 1)1 2)2 3)3 4)4
Описание слайда:

Для какого числа X истинно высказывание X>2 -(x>3) 1)1 2)2 3)3 4)4

№ слайда 16 Задания для закрепления пройденного материала: Что такое логика? Кто является
Описание слайда:

Задания для закрепления пройденного материала: Что такое логика? Кто является основоположником логики, как науки? В чем состоит отличие формальной логики от математической? Что такое суждение? Приведите пример истинного суждения. Приведите пример ложного суждения. Приведите пример высказывания, не являющегося суждением. На какие типы можно разделить высказывания? Что такое логические константы? Что такое логические выражения?

№ слайда 17 Задания для закрепления пройденного материала: Определи, какие из нижеприведе
Описание слайда:

Задания для закрепления пройденного материала: Определи, какие из нижеприведенных фраз являются высказываниями с точки зрения алгебры логики. Определи значение высказывания (1 или 0): Переводчик должен знать хотя бы два языка. Два больше трех. Все девочки любят играть в куклы. Определи тип высказывания (общее, частное, единичное): Все лекарства неприятны на вкус. Многие растения обладают целебными свойствами. Мой кот – серый. 13. Определи тип высказывания (простое или составное, истинное или ложное): Наступил сентябрь, и начался учебный год. Если прошел снег, то на улице лето. Все растения съедобны.

№ слайда 18 Задания для закрепления пройденного материала: Какая операция обозначается в
Описание слайда:

Задания для закрепления пройденного материала: Какая операция обозначается в логике знаками & или ^? Конъюнкция. Какая операция обозначается в логике знаком ? Дизъюнкция Какая операция обозначается в логике знаком ¬? Инверсия Из двух простых высказываний постройте сложное высказывание, используя связку "И", "ИЛИ" А = «В кабинете есть учебники». С = «В кабинете есть справочники». В = А^С = «В кабинете есть учебники и справочники». В = АС = «В кабинете есть учебники или справочники». Записать логическое выражение и определи его значение истинности для следующих высказываний: С= «Рыбу ловят сачком или ловят крючком, или мухой приманивают, или червячком». С = АВХУ=1 Х= «Приставка есть часть слова, и она пишется раздельно со словом». Х = А^В = 0

№ слайда 19 Задание на дом: 1) Составить примеры следующих суждений и определить их значе
Описание слайда:

Задание на дом: 1) Составить примеры следующих суждений и определить их значения: истинного и ложного; не суждения; составного; простого; частного; единичного; общего. Пример: А = «Каждый треугольник имеет три вершины» - 1, простое, общее. 2) Записать логическое выражение и определи его значение истинности для следующего высказывания: «Буква "а" – первая буква в слове "аист" или "сова"».

Самые низкие цены на курсы профессиональной переподготовки и повышения квалификации!

Предлагаем учителям воспользоваться 50% скидкой при обучении по программам профессиональной переподготовки.

После окончания обучения выдаётся диплом о профессиональной переподготовке установленного образца (признаётся при прохождении аттестации по всей России).

Обучение проходит заочно прямо на сайте проекта "Инфоурок".

Начало обучения ближайших групп: 18 января и 25 января. Оплата возможна в беспроцентную рассрочку (20% в начале обучения и 80% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru/kursy

Автор
Дата добавления 31.10.2016
Раздел Информатика
Подраздел Презентации
Просмотров34
Номер материала ДБ-305082
Получить свидетельство о публикации

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

от проекта "Инфоурок" с указанием данных образовательной лицензии, что важно при прохождении аттестации.

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

Список всех тестов можно посмотреть тут - https://infourok.ru/tests

Похожие материалы

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