Сокращенная версия.

Презентация:



Advertisements
Похожие презентации
ЛогикаЛогика. Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через.
Advertisements

ОСНОВЫ ЛОГИКИ Щеглетова Елена Петровна, учитель информатики школы 15.
Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта, позволяющие отличить их от других. Содержание Объем Совокупность существенных.
Основы логики Презентацию подготовила учитель информатики Шевченко Ольга Викторовна МОУ – СОШ 6 города Маркса Саратовской области.
Основы логики. Высказывания.. Алгебра это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и.
Алгебра логики. - наука об общих операциях над высказываниями, позволяет определить его значение, отвлекаясь от содержания Алгебра логики Алгебра высказываний,
Основы логики. Какие из предложений являются высказываниями? Определить их истинность. Какой длины эта лента? Прослушайте сообщение. Делайте утреннюю.
Элементы логики Составлено по учебнику Угринович «Информатика и информационные технологии.».
Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через понятия, высказывания.
Основы логики Цель: сформировать понятие форм мышления; сформировать понятия: логическое высказывание, логические величины, логические операции. © Мульганова.
Основы логики Алгебра высказываний Презентация 9-3.
Основы логики. Высказывания.. Логика Логика это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств.
Логические переменные, операции и функции Основы логики.
Формы мышления Логические выражения и высказывания.
Логические операции Автор: Н.В. Степанова, МОУ «СОШ 37», г. Новокузнецк.
ОСНОВЫ ЛОГИКИ Повторение Подготовил учитель информатики и ИКТ МОБУ «Ленинская СОШ1 им. Борисова П.С. Антропова С.Ю.
Логика это наука о формах и способах мышления. Logos (древнегреч.) - «слово, мысль, понятие, рассуждение, закон».
LOGO 2 В основе современной логики лежат учения, созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления.
Введение в логику. Дж. Буль (1815 – 1864) – анг. математик отец алгебры логики Булева алгебра (алгебра логики) изучает свойства функций, у которых и аргументы,
Логика (древнегреч. - слово, мысль, понятие, рассуждение) - наука о законах и формах мышления(понятие, высказывание, умозаключение. Алгебра логики изучает.
Транксрипт:

Сокращенная версия

Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Законы мира, сущность предметов, общее в них познается через абстрактное мышление.

Высказывание – это повествовательное предложение, в котором, что либо утверждается или отрицается. Простое высказывание всегда ИСТИНО или ЛОЖНО. «Принтер – устройство для печати» «Компьютер был изобретен в XIX веке»

Какие из предложений являются высказываниями? 1. Делайте утреннюю зарядку! 2. Москва – столица Германии. 3. Прослушайте сообщение =10 5. Без труда не вытащишь и рыбку из пруда. 6. Каким автобусом можно добраться до Автовокзала? 7. Некоторые кошки едят рыбу. 8. Какая сегодня погода? 9. Все собаки- злые. 10. Назовите устройство связи между компьютерами.

Алгебра- логики это наука об общих операциях, аналогичных сложению и умножению, которые выполняются над логическими переменными. Логические переменные - это простые высказывания. Они обозначаются латинскими буквами и имеют только два значения ИСТИНА(1) или ЛОЖЬ(0).

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

Логическая функция – базовая КонъюнкцияДизъюнкцияИнверсия названиеЛогическое умножение Логическое сложение Отрицание обозначениеA&B A^B AB AvB A+BA истолкование A и B; как А, так и В; А вместе с В; А несмотря на В; А, в то время как В A илиB, A или B или оба, не A; неверно, что А Таблица истинности – определяет значение сложного высказывания, при всех возможных значениях простых высказываний АВA&BАВAvBАА

Логическая функция КонъюнкцияДизъюнкцияИнверсия названиеЛогическое умножение Логическое сложение Отрицание Примеры: А – «Число 10- четное» В – «Число 10- отрицательное» «Число 10 четное И отрицательное» «Число 10 четное ИЛИ отрицательное» «НЕВЕРНО, что число 10 четное» «НЕВЕРНО, что число 10 отрицательное» Вывод о сложном высказывании: Результат будет истинным тогда и только тогда, когда истинны оба исходных высказывания и ложным в остальных случаях. Результат будет ложным тогда и только тогда, когда ложны оба исходных высказывания и истинным в остальных случаях. Результат будет ложным, когда истинно исходное высказывание, и наоборот.

Логическая функция Строгая дизъюнкция ИмпликацияЭквиваленция названиеИсключающее ИЛИ Логическое следование Логическое равенство Примеры: А – «Число 10- четное» В – «Число 10- отрицательное» «Число 10 четное ЛИБО отрицательное» «ЕСЛИ число 10 четное, ТО оно отрицательное» «Число 10 четное ТОГДА И ТОЛЬКО ТОГДА, КОГДА ОНО отрицательное» Вывод о сложном высказывании: Результат будет истинным тогда и только тогда, когда истинно только одно из исходных высказывания и ложным в остальных случаях. Результат будет ложным тогда и только тогда, когда предпосылка есть- истинна, а следствие не произошло - ложно, в остальных случаях истинно. Результат будет истинным, тогда и только тогда, когда оба исходных высказывания одновременно либо истинны, либо ложны

Логическая функция Строгая дизъюнкция ИмпликацияЭквиваленция названиеИсключающее ИЛИ Логическое следование Логическое равенство обозначениеA B А В A BA = B A B истолкование A илиB, но не оба; А либо В; Если A,то B; Когда А, тогда В; В если А; коль скоро А, то и В; А достаточно для В; все А есть В A тогда и только тогда, когда B; А необходимо и достаточно для В; А если и только если В; Таблица истинности АВA BАВ АВA=BA=B

Запишите в виде логического выражения следующее высказывание: «Летом Гена поедет в деревню, и если будет хорошая погода, то он пойдет на рыбалку». Выделим простые высказывания А= «Гена поедет в деревню»; В= «Будет хорошая погода»; С= «Он пойдет на рыбалку». Запишем логическое выражение с учетом порядка действий: F(A,B,C)=A&(B C)

Найдите множество значений Р, при которых результат логического сложения, будет истинным если даны высказывания: А= «Число Р делится на 5»; В= «Р – нечетное число».

Найдите множество значений Р, при которых результат логического умножения будет истинным, если даны высказывания: А= «Число Р делится на 5»; В= «Р – нечетное число».

Найдите множество значений Р, при которых результат логического сложения будет ложным, если даны высказывания: А= «Число Р делится на 5»; В= «Р – нечетное число».

Найдите множество значений Р, при которых результат а логического умножения будет ложным, если даны высказывания: А= «Число Р делится на 5»; В= «Р – нечетное число».

Запишите истинные сложные высказывания из простых с использованием логических операций. 1. Неверно, что10>Y>=5 и Z

Ответы: 1. (Y =5) & (ZC) 4. (X>0)v(Y>0)v(Z>0) 5. (X>=0)v(Y>=0) v (Z>=0) 6. X>=12)v(Y>=12) v (Z>=12) 7. (X=12)&(Y=12)&(Z = 12) 8. (Х делится на 2) (X-четное)

Из двух простых высказываний постройте сложное, используя логические связки И,ИЛИ, НЕ. Запишите в виде логических выражений и определите их истинность: 1. «Андрей старше Светы. Наташа старше Светы». 2. «Один десятый класс идет на экскурсию в музей. Второй десятый класс идет в театр». 3. «На полке стоят учебники. На полке стоят справочники». 4. «Часть экскурсантов – девочки. Остальные - мальчики».

1)Для логических выражений сформулируйте составные высказывания на обычном языке. 1. (Y >1 & Y