Алгебра логики Скачать
презентацию
<<  Законы алгебры логики История алгебры логики  >>
Идею о возможности математизации логики высказал ещё в ХVII в
Идею о возможности математизации логики высказал ещё в ХVII в
Подлинный прогресс науки, называемой математической логикой, был
Подлинный прогресс науки, называемой математической логикой, был
Фото из презентации «Логика высказываний» к уроку алгебры на тему «Алгебра логики»

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

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

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

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

Алгебра

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