Алгебра логики Скачать
презентацию
<<  Законы алгебры логики История алгебры логики  >>
Идею о возможности математизации логики высказал ещё в ХVII в
Идею о возможности математизации логики высказал ещё в ХVII в
Идею о возможности математизации логики высказал ещё в ХVII в
Идею о возможности математизации логики высказал ещё в ХVII в
Подлинный прогресс науки, называемой математической логикой, был
Подлинный прогресс науки, называемой математической логикой, был
Подлинный прогресс науки, называемой математической логикой, был
Подлинный прогресс науки, называемой математической логикой, был
Современная математизированная формальная логика представляет собой
Современная математизированная формальная логика представляет собой
Будем обозначать высказывания прописными буквами
Будем обозначать высказывания прописными буквами
Определите, какие из следующих фраз являются высказываниями с точки
Определите, какие из следующих фраз являются высказываниями с точки
Определите, какие из следующих фраз являются высказываниями с точки
Определите, какие из следующих фраз являются высказываниями с точки
4)Зрение бывает нормальное, или у человека имеется дальнозоркость или
4)Зрение бывает нормальное, или у человека имеется дальнозоркость или
4)Зрение бывает нормальное, или у человека имеется дальнозоркость или
4)Зрение бывает нормальное, или у человека имеется дальнозоркость или
8)Некоторые животные мыслят 9)Это утверждение ложно
8)Некоторые животные мыслят 9)Это утверждение ложно
8)Некоторые животные мыслят – прежде, чем «договариваться» об
8)Некоторые животные мыслят – прежде, чем «договариваться» об
Картинки из презентации «Логика высказываний» к уроку алгебры на тему «Алгебра логики»

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

Скачать презентацию

Логика высказываний

содержание презентации «Логика высказываний.pps»
Сл Текст Сл Текст
1Идею о возможности математизации логики высказал ещё в ХVII 4информатику=0 – ложное высказывание 3)С=Некоторые ученики любят
в. немецкий логик Готфрид Вильгельм Лейбниц. Он пытался создать информатику=1 – истинное высказывание 4)D=А ты любишь
универсальный язык, с помощью которого каждому понятию и информатику? – не высказывание, т.к. предложение не
суждению можно было бы дать числовую характеристику и установить повествовательное. 5)Е=Посмотри в окно – не высказывание.
такие правила оперирования с этими числами, которые позволили бы 6)F=(Х*Х<0)=0 – ложное высказывание, т.к. х*х всегда
сразу определить, истинно данное суждение или ложно. То есть он неотрицательно. 7)I=2*Х -5>0 – не высказывание, так как
предполагал, что споры между людьми можно будет разрешать результат зависит от Х 8)G=Крокодилы летают очень низко –
посредством вычислений. Но идея Лейбница оказалась высказывание.
неподтвержденной, так как до сих пор не найден способ свести 5Определите, какие из следующих фраз являются высказываниями
человеческое мышление к некоторому математическому исчислению. с точки зрения алгебры логики. Определите значение высказывания
2Подлинный прогресс науки, называемой математической логикой, (истина или ложь): 1)Без труда не выловишь и рыбку из пруда.
был достигнут в середине XIX в. прежде всего благодаря труду 2)Как хорошо быть генералом! 3)Революция может быть мирной и
английского логика Джорджа Буля «Математический анализ логики». немирной.
Он перенес на логику законы и правила алгебраических действий, 6Определите, какие из следующих фраз являются высказываниями
ввел логические операции, предложил способ записи высказываний в с точки зрения алгебры логики. Определите значение высказывания
символической форме. В трудах Дж. Буля и О. Моргана (истина или ложь): 1)Без труда не выловишь и рыбку из пруда.-
математическая логика представлена как своеобразная алгебра – истинное высказывание 2)Как хорошо быть генералом!- не
алгебра логики (алгебра высказываний). В развитии математической высказывание (восклицат. предл.) 3)Революция может быть мирной и
логики приняли участие многие выдающиеся математики и логики немирной. – истинное высказывание.
конца XIX и ХХ в., в том числе К.Гедель (Австрия), Д.Гильберт 74)Зрение бывает нормальное, или у человека имеется
(Германия), С.Клини (Америка), Э.Пост (Америка), А.Тьюринг дальнозоркость или близорукость. 5)Познай самого себя. 6)Не
(Англия), А.Черч (Америка), российские ученные А.Н.Колмагоров, может быть, что ни один человек не дышит жабрами. 7)Талант
П.С.Новиков, А.А.Марков и многие другие. всегда пробьет себе дорогу.
3Современная математизированная формальная логика 84)Зрение бывает нормальное, или у человека имеется
представляет собой обширную научную область и находит широкое дальнозоркость или близорукость. – истинное высказывание
применение как внутри математики (исследование оснований 5)Познай самого себя.- не высказывание (побудительное
математики), так и вне ее (анализ и синтез автоматических предложение) 6)Не может быть, что ни один человек не дышит
устройств, теоретическая кибернетика, в частности искусственный жабрами. –ложное высказывание 7)Талант всегда пробьет себе
интеллект). Алгебра логики (алгебра высказываний) – раздел дорогу. – ложное высказывание.
математической логики, изучающий строение (форму, структуру), 98)Некоторые животные мыслят 9)Это утверждение ложно.
сложных логических высказываний и способы установления их 108)Некоторые животные мыслят – прежде, чем «договариваться»
истинности с помощью алгебраических методов. Под высказыванием об истинности или ложности данного высказывания, следует
(суждением) понимается повествовательное предложение, определить, что понимается под словом «мыслит»; 9)Это
относительно которого можно сказать истинно оно или ложно. утверждение ложно – в формальной логике принято не рассматривать
4Будем обозначать высказывания прописными буквами. Например: предложе-ния, ссылающиеся сами на себя, в качестве суждений,
Х=Число 12 кратно 3. Р=Город Париж-столица Франции. Если поскольку для них часто невозмож-но «договорится» об их
высказывание А истинное, то запишем «А=1», если ложное, то истинности или лож-ности. Данная фраза является парадоксаль-ным
«А=0». Примеры высказываний и не высказываний: 1)А=Солнце светит утверждением.
для всех =1 – истинное высказывание. 2)В=Все ученики любят
«Логика высказываний» | Логика высказываний.pps
http://900igr.net/kartinki/algebra/Logika-vyskazyvanij/Logika-vyskazyvanij.html
cсылка на страницу

Алгебра логики

другие презентации об алгебре логики

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

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

«Логические задачи» - Демо ЕГЭ 2006. Разбирается дело Ленчика, Пончика и Батончика. Кто разбил стекло в классе? Коршунов принимает участие в споре между учителями литературы и английского языка. Задача «Кто утаил клад?». Задача «Определите профессии». Решение: Задача «Машины». В старших классах работают три учителя: Воронов, Соколов и Коршунов.

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

«Таблица истинности» - Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C Решение: ¬(A \/ B)= ¬A /\ ¬B ¬(¬ A) = A. Пример 2. Укажите, какое логическое выражение равносильно выражению ¬(A \/ ¬ B \/ C) 1) ¬A \/ B \/ ¬C 2) A /\ ¬B /\ C 3)¬A \/ ¬B \/ ¬C 4) ¬A /\ B /\ ¬C Решение: ¬(A \/ B)= ¬A /\ ¬B ¬(¬ A) = A ¬(A \/ ¬ B \/ C) = ¬A /\ ¬(¬B) /\ ¬C = ¬A /\ B /\ ¬C Ответ 4.

«Логические операции» - 2. А, В – логические переменные, которые могут иметь значение ИСТИНА (И), ЛОЖЬ (Л). Получившееся высказывание – сложное высказывание. Простые высказывания могут быть связаны между собой словами И, ИЛИ, НЕ. Примеры строгих и нестрогих дизъюнкций: 12. Таблица истинности: Таблица истинности. С = А?В С = «Солнце светит и нет дождя».

Урок

Алгебра

34 темы
Картинки
Презентация: Логика высказываний | Тема: Алгебра логики | Урок: Алгебра | Вид: Картинки