Логика
<<  Основы логики Основы логики  >>
Логика – это наука о формах и способах мышления
Логика – это наука о формах и способах мышления
Содержание
Содержание
Проверь себя
Проверь себя
Картинки из презентации «Основы логики» к уроку алгебры на тему «Логика»

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

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

содержание презентации «Основы логики.ppt»
Сл Текст Сл Текст
1Основы логики. 20.08.2015. 16тогда и только тогда, когда … Обозначение
2Логика – это наука о формах и способах А?В, А~B. Таблица истинности. A. B. А~b.
мышления. Джордж Буль (1815-1864) 0. 0. 1. 0. 1. 0. 1. 0. 0. 1. 1. 1.
основоположник математической логики. 2. Эквивалентность образуется соединением
3Содержание. Формы мышления Алгебра двух высказываний в одно с помощью оборота
высказываний Логические выражения и речи «… тогда и только тогда, когда …».
таблицы истинности Алгоритм построения Составное высказывание, образованное с
таблиц истинности Домашнее задание Проверь помощью логической операции
себя. 3. эквивалентности истинно тогда и только
41. Формы мышления. Основные формы тогда, когда оба высказывания одновременно
мышления: Понятие Высказывание либо ложны, либо истинны. 16. Содержание.
Умозаключение. 4. Содержание. Логические операции.
51.1. Понятие. Понятие – это форма 173. Логические выражения и таблицы
мышления, фиксирующая основные, истинности. Логическое выражение –
существенные признаки объекта. формула, в которую входят логические
Совокупность предметов, на которую переменные и знаки логических операций.
распространяется понятие. Совокупность Пример: Порядок выполнения логических
существенных признаков объекта. 5. операций: Действия в скобках. Инверсия,
Содержание. конъюнкция, дизъюнкция, импликация,
61.2. Высказывание. Высказывание – это эквивалентность. Для логического выражения
форма мышления, в которой что-либо можно построить таблицу истинности,
утверждается или отрицается о свойствах которая определяет его истинность или
реальных предметов и отношениях между ложность при всех возможных комбинациях
ними. Высказывание является исходных значений простых высказываний.
повествовательным предложением. Связь 17. Содержание.
понятий правильно отражает свойства и 18Найдите значения логических выражений.
отношения реальных вещей. Высказывание не F = (0 v 0) v (1 v 1). F = (1 v 1) v (1 v
соответствует реальной действительности. 0). F = (0 & 0) & (1 & 0). F =
6. Содержание. ¬1 &(1 v 1) v (¬0 & 1). F = (¬1 v
7Какие из предложений являются 1) & (1 &¬1) &(¬1 V 0). 18.
высказыванием? Назови устройство вывода Содержание.
информации. Париж - столица Франции. 194. Построение таблицы истинности.
Некоторые медведи живут на севере. Чему Определить количество строк в таблице по
равно расстояние от Земли до Луны? 2 + 2 = формуле 2n, где n – количество логических
4 Некоторые дети – ученики. «А» - переменных. Определить количество столбцов
последняя буква алфавита. 7. Содержание. таблицы: количество логических переменных
81.3. Умозаключение. Умозаключение – + количество логических операций.
это форма мышления, с помощью которой из Построить таблицу истинности, обозначить
одного или нескольких суждений (посылок) столбцы, внести всевозможные наборы
может быть получено новое суждение исходных данных логических переменных.
(заключение). Посылки – только истинные Заполнить таблицу истинности, выполняя
суждения. 8. Содержание. базовые логические операции в необходимой
92. Алгебра высказываний. Алгебра последовательности. 19. Содержание.
высказываний служит для определения 20Построение таблицы истинности для. A.
истинности или ложности составных B. AvB. 0. 0. 0. 1. 1. 1. 0. 0. 1. 1. 1.
высказываний. Высказывания обозначаются 0. 1. 1. 1. 0. 1. 0. 1. 1. 1. 1. 1. 1. 0.
именами логических переменных 0. 0. 0. Количество строк таблицы 22 = 4,
(обозначаются прописными буквами т.к. в формуле две переменные A и B.
латинского алфавита), которые могут Количество столбцов: 2 переменные + 5
принимать лишь два значения: «истина» (1) логических операций = 7. 20. Содержание.
и «ложь» (0). Например: А = 1, В = 0. 9. 21Равносильные логические выражения. A.
Содержание. B. AvB. A. B. 0. 0. 0. 0. 0. 1. 0. 1. 1.
10Заполните таблицу в тетради по ходу 0. 1. 0. 1. 1. 1. 1. Равносильные
изложения материала. Название. логические выражения - это выражения, у
Обозначение. Союз в естественном языке. которых последние столбцы таблиц
Таблица истинности. Конъюнкция. истинности совпадают, обозначают “=“.
Дизъюнкция. Инверсия. Импликация. Докажите равносильность выражений: Таблица
Эквивалент-ность. 10. Содержание. истинности для. Таблица истинности для.
11Логические операции. 2.1. Логическое 21. Содержание.
умножение (конъюнкция) 2.2. Логическое 225. Домашнее задание. Даны
сложение (дизъюнкция) 2.3. Логическое высказывания: A = «р делится на 5» В = «р
отрицание (инверсия) 2.4. Логическое – нечетное число» Найти множество значений
следование (импликация) 2.5. Логическое р, при которых результат а) дизъюнкции, б)
равенство (эквивалентность). 11. конъюнкции будет: истинным; ложным. 22.
Содержание. Содержание.
122.1. Логическое умножение 23Домашнее задание. 2. Составьте и
(конъюнкция). Соответствует союзу И запишите истинные сложные высказывания из
Обозначение & , ^ В языках простых с использованием логических
программирования and. Таблица истинности. операций: Неверно, что 10>Y>5 и
A. B. A&B. 0. 0. 0. 0. 1. 0. 1. 0. 0. Z<0. Любое из чисел X, Y,Z
1. 1. 1. Объединение двух (или нескольких) положительно. 3. Составьте таблицу
высказываний в одно с помощью союза «и». истинности для логического выражения: F =
Составное высказывание истинно только (X & ¬Y) v Z. 23. Содержание.
тогда, когда истины оба простых 24Проверь себя. Проверь себя. Задание 1
высказывания. 12. Содержание. Логические Задание 2 Задание 3 Задание 4 Задание 5.
операции. 24. Содержание.
132.2. Логическое сложение (дизъюнкция). 25Задание 1 Расставь соответствующие
Соответствует союзу ИЛИ Обозначение V В числа. А ? В Логическое сложение Наука о
языках программирования or. Таблица формах и способах мышления Логическое
истинности. A. B. AvB. 0. 0. 0. 0. 1. 1. отрицание ИСТИНА и ЛОЖЬ А ? В & Наука
1. 0. 1. 1. 1. 1. Объединение двух (или об операциях над высказываниями
нескольких) высказываний в одно с помощью Повествовательное предложение, в котором
союза «или». Составное высказывание что-либо утверждается или отрицается.
истинно только тогда, когда истинно хотя Логика Высказывание Алгебра логики
бы одно из двух простых высказывания. 13. Логическая константа Дизъюнкция Инверсия
Содержание. Логические операции. Конъюнкция Импликация Эквивалентность. 25.
142.3. Логическое отрицание (инверсия). Содержание.
? Соответствует союзу НЕ Обозначение ?, ¬А 26Задание 2. Даны высказывания: А = { 2
В языках программирования not. Таблица · 2 = 4 } В = { 2 + 2 = 5 } Определите
истинности. A. 0. 1. 1. 0. Присоединение истинность высказываний: А ¬В A & B B
частицы «не» к высказыванию. Инверсия ¬A A v B. 26. Содержание.
делает истинное высказывание ложным и, 27Задание 3. X. Y. Z. ¬Z. Y&¬Z.
наоборот. 14. Содержание. Логические XvY&¬Z. 0. 0. 0. 0. 0. 1. 0. 1. 0. 1.
операции. 0. 0. 1. 0. 1. 1. 1. 0. 1. 1. 1. Заполните
152.4. Логическое следование таблицу истинности для выражения: X v Y
(импликация). Соответствует обороту Если…, & ¬Z. 27. Содержание.
то… Обозначение А?В В языках 28Задание 4. A. B. ¬B. AvB. ¬(AvB).
программирования if … then … Таблица ¬B& ¬(AvB). 1. 0. 0. 0. 0. 0. 1. 1. 0.
истинности. A. B. A?B. 0. 0. 1. 0. 1. 1. 1. 0. 1. 0. Заполните пустые ячейки
1. 0. 0. 1. 1. 1. Импликация образуется таблицы истинности. 28. Содержание.
соединением двух высказываний в одно с 29Задание 5. Укажите логическое
помощью оборота речи «если…, то…». выражение, соответствующее высказыванию:
Импликация ложна только тогда, когда из «В субботу я поеду на дачу и, если будет
истинного первого высказывания жарко, то я пойду купаться». А = «Я поеду
(предпосылки) следует ложный вывод (второе на дачу» В = «Будет жарко» С = «Я пойду
высказывание). 15. Содержание. Логические купаться». F = A v (B ? C) F = (A v B) ? C
операции. F = (A & B) ? C F = A & (B ? C).
162.5. Логическое равенство 29. Содержание.
(эквивалентность). Соответствует обороту
Основы логики.ppt
http://900igr.net/kartinka/algebra/osnovy-logiki-115493.html
cсылка на страницу

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

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

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

«Логика высказываний» - Например: Х=Число 12 кратно 3. Р=Город Париж-столица Франции. Данная фраза является парадоксаль-ным утверждением. Будем обозначать высказывания прописными буквами. Но идея Лейбница оказалась неподтвержденной, так как до сих пор не найден способ свести человеческое мышление к некоторому математическому исчислению.

«Логические основы компьютера» - Логические функции. Логические законы и правила преобразования. Формы мышления. Логическое умножение (конъюнкция). Дважды два равно пять – естественный язык. Для чего необходим сумматор? Высказывание может быть либо истинным, либо ложным. Умозаключение. Алгебра высказываний. Таблица истинности операции конъюнкция.

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

«Законы алгебры логики» - А=А Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. — Для логического сложения. 4. Распределительный (дистрибутивный) закон. — Для логического умножения: 2. Переместительный (коммутативный) закон. — Для логического сложения: A + (A* B) = A; 6. Закон идемпотентности. — Для логического сложения: (A + B) + C = A+ (B + C) — для логического умножения: (A*B)*C = A*(B*C).

«Логика» - Такие правила вывода принято называть аксиомами. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Важную роль в математической логике играет понятие исчисления. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми.

Логика

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

Алгебра

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