Логика
<<  Основные понятия логики Основы логики  >>
Картинок нет
Картинки из презентации «Основы логики» к уроку алгебры на тему «Логика»

Автор: Uzer. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Основы логики.ppt» со всеми картинками в zip-архиве размером 195 КБ.

Основы логики

содержание презентации «Основы логики.ppt»
Сл Текст Сл Текст
1Основы логики. 19…» называется операцией логического
2Основные понятия алгебры логики. равенства или эквивалентность. В алгебре
Логические операции. Урок 1: логики эквивалентность обозначается
3Высказыванием называется любое значком « ? ».
повествовательное предложение, про которое 20A. B. А ? b. 0. 0. 1. 0. 1. 0. 1. 0.
известно, что оно или истинно, или ложно. 0. 1. 1. 1. Высказывание вида A ? B (А
4Например: Жирафы летят на север. - эквивалентность B) истинно тогда и только
Ложное высказывание. Треугольник - это тогда, когда оба высказывания одновременно
геометрическая фигура. - Истинное либо ложны, либо истинны. Таблица
высказывание Число 6 не делится на 2. - истинности для А ? В.
Ложное высказывание. Посмотрите на доску. 21Решение логических выражений через
– Не высказывание. построение таблиц истинности. Урок 2:
5Высказывание считается простым, если 22Применяя логические операции, мы можем
никакую его часть нельзя рассматривать как решить любые логические выражения: Для
отдельное высказывание Высказывание, этого простые логические высказывания
которое можно разложить на части обозначим как логические переменные –
называется сложным (составным). буквами; Свяжем их с помощью знаков
6В математической логике высказывания логических операций. Такие формулы в
обозначают большими латинскими буквами. алгебре логики называются логическими
Например: А = Москва– столица России. С = выражениями.
Все растения ядовиты. 23Для определения значения логической
7Простые высказывания называются функции необходимо помнить порядок
логическими переменными Например: А = выполнения логических операций по убыванию
«Луна является спутником Земли.» ? А = 1 В старшинства. Теперь мы можем определить
= «Москва – столица Германии.» ? В = 0. значение логической функции для любого
8Сложные высказывания называются набора значений логических переменных.
логическими функциями, а значение Например:
логической функции также может принимать 24Операции в логическом выражении
значения только 0 или 1. выполняются слева направо с учетом скобок
9Составные (сложные) высказывания в следующем порядке: 1. инверсия; 2.
строятся из простых с помощью логических конъюнкция; 3. дизъюнкция; 4. импликация;
связок: "и", "или", 5. эквивалентность.
"не", «если …, то…», «…тогда и 25Для построения таблицы истинности
только тогда, когда…» и др. Например. любой логической функции следует
10обозначим ЛОГИЧЕСКИЕ СВЯЗКИ - соблюдать: 1. определить кол-во строк
ЛОГИЧЕСКИМИ ОПЕРАЦИЯМИ и получим с их таблицы – 2n , где n = кол-ву логических
помощью (составные) высказывания. переменных; 2. определить кол-во столбцов
11I. Операция – логическое умножение. таблицы- оно равно кол-ву логических
Объединение двух (или нескольких) переменных + кол-во логических операций;
высказываний в одно при помощи союза «и» 26Для построения таблицы истинности
называется операцией логического умножения любой логической функции следует
или конъюнкцией. В алгебре логики соблюдать: 3. построить таблицу истинности
конъюнкция обозначается значком «&» с найденным кол-вом строк и столбцов +
либо «?». строка с названием столбцов; 4. заполнить
12Высказывание вида A & B (А столбцы таблицы, выполняя логические
конъюнкция B ) истинно тогда и только операции в необходимой последовательности
тогда, когда истинны оба высказывания и А и в соответствии с их таблицами
и B. Таблица истинности для А & В. истинности.
13II. Операция – логическое сложение. 27Количество входных переменных равно
Объединение двух (или нескольких) трем (X,Y,Z), а значит строк Q= 23 = 8 +1
высказываний в одно при помощи союза «или» =9 (заголовки столбцов). 2. Количество
называется операцией логического сложения столбцов равно 6 (3 переменные + 3
или дизъюнкцией. В алгебре логики операции). Вернёмся к нашему примеру:
дизъюнкция обозначается значком «V» либо 28Определим значение логической функции.
«+». X. Y. Z. X. Y ? Z. X+ Y ? Z.
14Высказывание вида A V B (А дизъюнкция 29Значение логической функции. X. Y. Z.
B ) истинно тогда и только тогда, когда X. Y ? Z. X+ Y ? Z. 0. 0. 0. 1. 0. 1. 0.
истинно хотя бы одно из входящих в него 0. 1. 1. 0. 1. 0. 1. 0. 1. 0. 1. 0. 1. 1.
простых (элементарных) высказываний. Союз 1. 1. 1. 1. 0. 0. 0. 0. 0. 1. 0. 1. 0. 0.
«или» употребляется в неисключающих друг 0. 1. 1. 0. 0. 0. 0. 1. 1. 1. 0. 1. 1.
друга случаях. Таблица истинности для А V Подробное решение.
В. 30Математическая логика - решение задач.
15III. Операция – логическое отрицание. Урок 3:
Присоединение частицы «не» к высказыванию 31Найдём значения логических выражений:
называется операцией логического отрицания 1)F= (0 \/ 0) \/ (1 \/ 1) 2)F= (1 \/ 1) \/
или инверсией. В алгебре логики инверсия (1 \/ 0) 3)F= (0 ? 0) ? (1 ? 1) 4)F= ¬1 \/
обозначается значком « ¬ » либо чертой над (1 ? 1) ? (¬0 ? 1). 1. 0. 1. Ответ: 1.
высказыванием «?». Рассмотренные выше Ответ: 1. Ответ: 0. 1. 0. 1. 1. 1. 1.
операции были двуместные, т.е. выполнялись Ответ: 1.
над двумя высказываниями. В алгебре логики 32Решение: В записи логического
широко применяется и одноместная операция высказывания стоит отрицание сложного
– операция отрицание. высказывания. Если ?((X > 3) –> (X
16Высказывание вида ? (инверсия А) > 4)) = 1 (истинно), то (X > 3)
делает истинное высказывание ложным и , –> (X > 4) = 0 (ложно). Для какого
наоборот, ложное - истинным. Таблица из указанных значений числа X истинно
истинности для ? Например. высказывание ?((X > 3) ? (X > 4)).
17IV. Операция – логическое следование. 1) 1 2)2 3) 3 4) 4.
Объединение двух высказываний с помощью 33Решение: Импликация ложна в
оборота речи «если …, то …» называется единственном случае - когда из истинного
операцией логического следования или высказывания следует ложное, тогда (X >
импликация. В алгебре логики импликация 3) = 1, а (X > 4) = 0. Получаем, что X
обозначается значком « ? ». должно быть задано в диапазоне: X > 3 и
18Высказывание вида A ? B (А импликация X ? 4. Только одно число входит в этот
B ) ложно тогда и только тогда, когда А – промежуток – это 4 Правильный ответ – 4.
истинно, а B – ложно (т.е. из истинного Для какого из указанных значений числа X
высказывания следует ложное). Таблица истинно высказывание ?((X > 3) ? (X
истинности для А ? В. > 4)). 1) 1 2)2 3) 3 4) 4. Смотреть
19V. Операция – логическое равенство. другие задания.
Объединение двух высказываний с помощью 34Спасибо за внимание !
оборота речи «…тогда и только тогда, когда
Основы логики.ppt
http://900igr.net/kartinka/algebra/osnovy-logiki-203647.html
cсылка на страницу

Основы логики

другие презентации на тему «Основы логики»

«Законы логики» - Применим правило дистрибутивности ((A?B) +(A?C) = A?(B+C)). Родился в Мадуре (Индия). Задание 1. Упростить выражение: _ X ? Y V X ? Y. Пикока, Морган в 1841-1847гг. опубликовал ряд работ по основам алгебры. Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C. Дана следующая логическая схема.

«Законы алгебры логики» - 6. Закон идемпотентности. А * А=0 Закон исключенного третьего. Докажите справедливость первого закона Моргана , используя таблицы истинности. 3. Сочетательный (ассоциативный) закон. Закон исключения (склеивания). — Для логического сложения: A + (A* B) = A; Законы Моргана: А +В=А * В А * В=А + В. — Для логического умножения:

«Задачи на логику» - Задача 5 (Демо 2010). Выполнила: Н.Н.Севрюкова, учитель информатики с.Богучаны, Красноярского края. Требуется определить, кто есть кто. Условие задачи: В одном доме живут Воронов, Павлов, Журавлёв и Синицын. Решение логических задач (Законы математической логики). Задача 2 (2009, В-135). Задача 4 (2009, В-133).

«Логические основы компьютера» - Решение логических задач. Логическое следование. Основы логики и логические основы компьютера. Дважды два равно пять – естественный язык. Для чего необходим сумматор? Множество электронных устройств. Объем. Чем отличается полный сумматор от полусумматора? Умозаключение. Таблица истинности логических функций двух аргументов.

«Логика в школе» - Укажите наибольшее возможное значение такой дроби. Немного логики. Условие Представьте следующие рациональные числа в виде десятичных дробей: а)1/7 ; б)2/7. Условие Какая из дробей больше: 29/73 или 291/731? Медведева Ольга. Можно ли так жить?

«Логика высказываний» - Но идея Лейбница оказалась неподтвержденной, так как до сих пор не найден способ свести человеческое мышление к некоторому математическому исчислению. Буля и О. Моргана математическая логика представлена как своеобразная алгебра – алгебра логики (алгебра высказываний). Данная фраза является парадоксаль-ным утверждением.

Логика

15 презентаций о логике
Урок

Алгебра

35 тем
Картинки