Рабочие листы
к вашим урокам
Скачать
1 слайд
Логика
2 слайд
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древнегреческими мыслителями.
Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания. Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления
3 слайд
Логика - наука о формах и способах мышления
Законы логики отражают в сознании человека
свойства
связи
отношения
объектов окружающего мира
4 слайд
Формы Мышления
Понятие
Высказывание
Умозаключение
5 слайд
Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта.
Между множествами (объемами понятий) могут быть различные виды отношений:
· равнозначность, когда объемы понятий полностью совпадают;
· пересечение, когда объемы понятий частично совпадают;
· подчинения, когда объем одного понятия полностью входит в объем другого и т.д
Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используются диаграммы Эйлера-Венна.
6 слайд
Если имеются какие-либо понятия A, B, C и т.д., то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объемами (множествами) в виде пересекающихся кругов.
7 слайд
Отобразить с помощью диаграммы Эйлера-Венна соотношение между объемами понятий натуральные числа и четные числа.
Объем понятия натуральные числа включает в себя множество целых положительных чисел А
Объем понятия четные числа включает в себя множество отрицательных и положительных четных чисел В.
Эти множества пересекаются, т.к. включают в себя множество положительных четных чисел С.
8 слайд
- это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.
Высказывание
9 слайд
Высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения:
1 - ИСТИНА
0 - ЛОЖЬ
10 слайд
Истинным будет суждение, в котором связь понятий правильно отражает свойства и отношения реальных вещей.
Ложным суждение будет в том случае, когда связь понятий искажает объективные отношения, не соответствует реальной действительности.
11 слайд
Обоснование истинности или ложности простых высказываний решается вне алгебры логики.
Например, истинность или ложность высказывания: "Сумма углов треугольника равна 180 градусов" устанавливается геометрией, причем — в геометрии Евклида это высказывание является истинным, а в геометрии Лобачевского — ложным
12 слайд
Умозаключение
- это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
13 слайд
Умозаключения бывают:
1. дедуктивные,
2. индуктивные
3. по аналогии.
В дедуктивных умозаключениях рассуждения ведутся от общего к частному.
Например, из двух суждений: «Все металлы электропроводны» и «Ртуть является металлом» путем умозаключения можно сделать вывод, что: «Ртуть электропроводна».
14 слайд
В индуктивных умозаключениях рассуждения ведутся от частного к общему.
Например, установив, что отдельные металлы - железо, медь, цинк, алюминий и т.д. - обладают свойством электропроводности, можно сделать вывод, что все металлы электропроводны.
15 слайд
Умозаключение по аналогии представляет собой движение мысли от общности одних свойств и отношений у сравниваемых предметов или процессов к общности других свойств и отношений.
Например, химический состав Солнца и Земли сходен по многим показателям, поэтому, когда на Солнце обнаружили неизвестный еще на Земле химический элемент гелий, то по аналогии заключили: такой элемент есть и на Земле.
16 слайд
Самостоятельное задание
1. Отобразить с помощью диаграммы Эйлера-Венна соотношения между следующими объемами понятий:
а) целые и натуральные числа;
б) четные и нечетные числа
17 слайд
2. Приведите примеры понятий, суждений, умозаключений и доказательств из различных наук: математики; информатики; физики и химии.
18 слайд
Основные понятия математической логики
Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности и ложности) и логических операций над ними
Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно
Для обозначения истины (истинного высказывания) используется символ 1 (True), а для обозначения лжи (ложного высказывания) используется символ 0 (False).
True = 1False = 0
True > False
19 слайд
Примеры логических выражений
20 слайд
Что такое логические выражения?
Логическое выражение – это некоторое высказывание, по поводу которого можно заключить истинно оно или ложно.
Логическое выражение , подобно математическому выражению выполняется (вычисляется), но в результате получается не число, а логическое значение (логическая величина)
21 слайд
Виды логических выражений
Простые – выражения,
состоящие из имени
поля логического типа
или одного отношения
Сложные – выражения,
содержащие логические
операции
22 слайд
Примеры простых высказываний
Шесть первых выражений называются отношениями.
23 слайд
Осадки = «дождь»5. Автор = «Толстой Л.Н.»
Давление > 7406. Фамилия = «Русанов»
Влажность <> 1007. Цветоводство
Полка < 58. Танцы
Знаки отношений :
=равно
<>не равно
>больше
< меньше
>=больше или равно
<=меньше или равно
24 слайд
ОТНОШЕНИЯ
Отношения – это выражения в которых имена полей базы данных связываются в соответствующие знаки отношений
25 слайд
Особенности выполнения отношений для символьных величин.
Отношение «равно» истинно для двух символьных величин, если их длина одинакова и все соответствующие символы совпадают
Символьные величины можно сопоставлять и в отношениях <, >, <=, >= по принципу: сравниваются между собой не сами символы, а их внутренние коды
26 слайд
Употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…то», «тогда и только тогда» и др. позволяют из уже заданных высказываний строить более сложные высказывания. Такие слова и словосочетания называют логическими связками.
Сложные логические выражения
Сложные логические выражения состоят из простых, с помощью логических операций (связок)
27 слайд
Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение
28 слайд
Логическое умножение
Обозначение :
в русском языке – и
в английском языке – and
в математической логике - /\
В результате логического умножения получается истина, если
оба операнда (логические величины) истинны.
29 слайд
Логическое сложение
Обозначение :
в русском языке – или
в английском языке – or
в математической логике - \/
В результате логического сложение получается истина, если значение хотя бы одного операнда истинно
30 слайд
Логическое отрицание
Обозначение :
в русском языке – не
в английском языке – not
в математической логике - x
Отрицание изменяет значение логического выражения на противоположное.
Отрицание – одноместная операция, она применяется к одному логическому операнду
31 слайд
Порядок действий
Not (отрицание)
And (логическое умножение)
Or (логическое сложение)
>,=,<
32 слайд
ПРИМЕР:
A and B or not A and B or not B = True
33 слайд
Благодаря этой презентации вы получили базовые
сведения о таком предмете, как алгебра логики.
Сначала
Рабочие листы
к вашим урокам
Скачать
6 653 528 материалов в базе
Настоящий материал опубликован пользователем Григорьев Александр Владимирович. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материал
Ваша скидка на курсы
40%
Курс профессиональной переподготовки
500/1000 ч.
Курс профессиональной переподготовки
600 ч.
Курс повышения квалификации
72/180 ч.
Курс профессиональной переподготовки
300/600 ч.
Мини-курс
4 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.