Логика
<<  Основы логики Основы логики  >>
Основы логики
Основы логики
Историческая справка
Историческая справка
Историческая справка
Историческая справка
Историческая справка
Историческая справка
Понятие — это форма мышления, фиксирующая основные, существенные
Понятие — это форма мышления, фиксирующая основные, существенные
Понятие — это форма мышления, фиксирующая основные, существенные
Понятие — это форма мышления, фиксирующая основные, существенные
Понятие — это форма мышления, фиксирующая основные, существенные
Понятие — это форма мышления, фиксирующая основные, существенные
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Когда из трубы польется вода
Картинки из презентации «Основы логики» к уроку алгебры на тему «Логика»

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

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

содержание презентации «Основы логики.ppt»
Сл Текст Сл Текст
1Основы логики. 10 класс. 15Логические операции. Логическое
2Цели: Способствовать формированию равенство (эквивалентность). Обозначение:
представления об истории возникновения и ? , ?, =. На естественном языке: тогда и
эволюции логического мышления. только тогда, когда. Таблица истинности.
Способствовать формированию навыков А. В. А ? b. 0. 0. 0. 1. А ? B – Добиться
формально-логического мышления, умению результата в спорте можно тогда и только
рассуждать, формулировать выводы с тогда, когда приложено максимум усилий. 1.
использованием рефлексии. Создать условия 0. 1. 1. Эквивалентность двух высказываний
для формирования знаний и навыков о истина только тогда, когда оба
возможности однозначной интерпретации высказывания одновременно либо ложны, либо
произвольной информации на основе алгебры истинны. 1 0 0 1.
логики. Способствовать формированию 16Инверсия ¬; Конъюнкция ^; Дизъюнкция
информационной культуры и потребности в V; Импликация ?; Эквивалентность ?. Для
приобретении знаний. изменения указанного порядка выполнения
3Содержание. Историческая справка логических операций используются скобки.
Введение в логику Логические операции Порядок выполнения логических операций в
Практика Литература. сложном логическом выражении:
4Историческая справка. Аристотель. (384 17Практика. Задание 1. Задание 2.
г.-322 г. до н.э.). Основы формальной Задание 3. Задание 4. Задание 5. Задание
логики заложил ученый Древней Греции 6. Содержание. Теория.
–Аристотель. Заслуга ученого состоит в 18Задание 1. Заполните таблицу: 1. 1. 1.
том, что он отделил форму мышления от 1. 0. 0. 1. 1. 1. 1. 1. 1. 0. 1. 0. 1. 1.
содержания, попытался соединить логику и 1. 1. 1. 0. 1. 0. 1. 0. 0. 1. 1. Решение:
математику, разработал раздел теории Высказывание. Паралле-лограмм.
доказательств. Прямоу-гольник. Ромб. Квадрат. Следующее
5Историческая справка. Вильгельм задание. Практика. 1.Противолежащие
лейбниц (1646-1716). Лейбниц взглянул на стороны параллельны и равны. 2.Все стороны
логику Аристотеля через призму математики. равны. 3.Противолежащие углы равны, сумма
Им написан трактат - «Азбука мыслей», соседних углов равна 180?. 4.Все углы
сжатый и краткий язык символов. Лейбниц прямые. 5.Диагонали пересекаются и точкой
разработал идею логического исчисления. пересечения делятся пополам. 6.Диагонали
Рассуждения обозначил буквами, сложные равны. 7.Диагонали взаимнопер-пендикулярны
высказывания - формулами. В результате и являются биссектрисами его углов.
удалось содержательные рассуждения 19Задание 2: Запишите высказывание “если
заменить формальными вычислениями. яблоко зеленое или мелкое, то оно
6Историческая справка. Джордж Буль - твердое”, используя знаки логических
автор известных произведений, в т.ч. операций. Решение: Пусть А = яблоко
работы «Математический анализ зеленое В = яблоко мелкое с = яблоко
логики»(1847г.) Основной труд Джорджа Буля твердое. Тогда (A v B) ? C. Следующее
- «Исследование законов мысли», в котором задание. Практика.
представлен раздел логики - алгебра 20Задание 3: Определите результат
высказываний. Джордж Буль 1815 – 1864 г.г. логического выражения при заданных
7Введение в логику. Логика – наука о параметрах. ¬( ¬B & ¬C ) ? ¬( ¬A &
законах и формах мышления. ¬C ), при А=1, В=1, С=0. Решение: Если
8Понятие — это форма мышления, А=1, то ¬A=0. Если В=1, то ¬В=0. Если С=0,
фиксирующая основные, существенные то ¬С=1. Подставим значения в выражение
признаки объекта. Пример. Клавиатура — ¬(0 & 1) ? ¬( 0 & 1)= ¬0? ¬0=1?
устройство ввода символьной информации в 1=1. Следующее задание. Практика.
компьютер. Высказывание (суждение) — это 21Задание 4: Для какого имени истинно
форма мышления, в которой что-либо высказывание: (Первая буква гласная) /\
утверждается или отрицается о свойствах (Четвёртая буква согласная) \/ (B слове
реальных предметов и отношениях между четыре буквы)? Решение: 1) сергей 2)
ними. Высказывание может быть либо ложным, алексей 3) антон 4) илья. Дизъюнкция ложна
либо истинным. Пример: Все дети любят только в одном случае: когда ложны оба
лечить зубы (ложь). Все взрослые были утверждения. Следовательно для истинности
детьми (истина). Умозаключение — это форма выражения в целом достаточно истинности
мышления, с помощью которой из одного или одного из утверждений. (B слове четыре
нескольких суждений, может быть получено буквы) верно только для варианта 4,
новое суждение (заключение). Пример: следовательно ответ 4. Следующее задание.
доказательство теорем в геометрии. Практика.
9Логические операции. Логическое 22Решение: Задание 5. Символом F
отрицание (инверсия). Таблица истинности. обозначено одно из указанных ниже
Обозначение: ¬. На естественном языке: логических выражений от трех аргументов:
неверно, что…, не. Инверсия высказывания X, Y, Z. Дан фрагмент таблицы истинности
истинна, если высказывание ложно, и ложна, выражения F: Какое выражение соответствует
когда высказывание истинно. А. ¬ А. 0. 1 F? 1) (X ? Y) ? (X ? Z) 2) (X ? Y) ? (X ?
0. А – «Сегодня идет снег» ¬ А – «Неверно, Z) 3) (¬Х ? Y) ? (X ? Z) 4) ¬(X ? Y) ? (X
что сегодня идет снег» или «Сегодня не ? Z). X. Y. Z. F. 1. 0. 0. 0. 0. 1. 0. 0.
идет снег». 1. 0. 0. 1. 0. 1. Заметим, что во всех трех
10Когда из трубы польется вода? Кран А. строках (X ? Y)=0. Это значит, что
Кран В. Открыт кран А. И. Открыт кран В. выражение из варианта 1 обращается в 0 при
11Логические операции. Логическое всех выписанных в таблицу значениях X, Y и
умножение (конъюнкция). Таблица Z. 2. Так как значения F и значения
истинности. Обозначение: ^, &, * На функции в варианте 1 сходятся по всем трем
естественном языке: и. А. В. А ^ b. 0. 0. строкам, вариант 1 является ответом к
0. 1. А ^ B – «Сегодня светит солнце И данной задаче . Следующее задание.
дождь». 1. 0. 1. 1. Конъюнкция двух Практика.
высказываний истинна тогда и только тогда, 23Решение: Задание 6. Для какого из
когда оба высказывания истинны, и ложна, приведённых чисел X истинно логическое
когда хотя бы одно из высказываний ложно. условие: ¬ ((X кратно 2) ? (X кратно 4))?
0 0 0 1. 1) 7 2) 8 3) 10 4) 12. Практика.
12Когда из трубы польется вода? Кран А. Импликация ложна только тогда, когда из
Кран В. Открыт кран А. Или. Открыт кран В. истины следует ложь. Проверим поочередно
13Логические операции. Логическое каждый вариант ¬ ((7 кратно 2) ? (7 кратно
сложение (дизъюнкция). Таблица истинности. 4))=¬ (0 ? 0)=¬ 1=0 ¬ ((8 кратно 2) ? (8
Обозначение: +, V. На естественном языке: кратно 4)) =¬ (1 ? 1)=¬ 1=0 ¬ ((10 кратно
или. А. В. А v b. 0. 0. 0. 1. А V B – В 2) ? (10 кратно 4)) =¬ (1 ? 0)=¬ 0=1 ¬
вазе лежат «яблоки» ИЛИ «груши». 1. 0. 1. ((12 кратно 2) ? (12 кратно 4)) =¬ (1 ?
1. Дизъюнкция двух высказываний ложна 1)=¬ 1=0 Таким образом, ответ 10 или
тогда и только тогда, когда оба вариант 3.
высказывания ложны, и истинна, когда хотя 24Список используемой литературы. 1.
бы одно из высказываний истинно. 0 1 1 1. Информатика и ИКТ. Базовый уровень. 10-11
14Логические операции. Логическое кл. - М., 2012 2. Информатика и ИКТ.
следование (импликация). Таблица Базовый уровень. Практикум для 10-11 кл. -
истинности. Обозначение: ?. На М., 2011. 3. Угринович Н.Д. Информатика и
естественном языке: если…, то… А. В. А ? ИКТ. 10-11 кл. Профильный уровень, М. -
b. 0. 0. 0. 1. А ? B – Если выучить Бином, 2011 4. Шауцукова Л.З. Информатика.
материал, то сдашь зачет. 1. 0. 1. 1. 10-11. - М.: Просвещение, 2004 5. Якушкин
Импликация двух высказываний ложна только П.А., Лещинер В.Р., Крылов С.С. ЕГЭ 2014.
тогда, когда из истины следует ложь, и Информатика. Типовые тестовые задания. —
истинна в остальных случаях. 1 1 0 1. М.: Интеллект-Центр, 2014.
Основы логики.ppt
http://900igr.net/kartinka/algebra/osnovy-logiki-172479.html
cсылка на страницу

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

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

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

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

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

«Законы логики» - Продолжая работы Дж. Закрепление изученного №1 Упростите выражение: F = ¬ (A&B) v ¬ (BvC). Законы и правила математической логики. Избавимся от импликации и отрицания. Применим правило дистрибутивности ((A?B) +(A?C) = A?(B+C)). Переставим местами слагаемые, сгруппируем и вынесем В за скобки. Дана следующая логическая схема.

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

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

Логика

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

Алгебра

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