🗊Презентация Алгебра логики

Категория: Математика
Нажмите для полного просмотра!
Алгебра логики, слайд №1Алгебра логики, слайд №2Алгебра логики, слайд №3Алгебра логики, слайд №4Алгебра логики, слайд №5Алгебра логики, слайд №6Алгебра логики, слайд №7Алгебра логики, слайд №8Алгебра логики, слайд №9Алгебра логики, слайд №10Алгебра логики, слайд №11Алгебра логики, слайд №12Алгебра логики, слайд №13Алгебра логики, слайд №14Алгебра логики, слайд №15Алгебра логики, слайд №16Алгебра логики, слайд №17Алгебра логики, слайд №18Алгебра логики, слайд №19Алгебра логики, слайд №20Алгебра логики, слайд №21Алгебра логики, слайд №22Алгебра логики, слайд №23Алгебра логики, слайд №24Алгебра логики, слайд №25Алгебра логики, слайд №26Алгебра логики, слайд №27Алгебра логики, слайд №28Алгебра логики, слайд №29
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Алгебра логики. Доклад-сообщение содержит 29 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Тема урока: Алгебра логики
Описание слайда:
Тема урока: Алгебра логики

Слайд 2


Этапы развития логики Логика очень древняя наука. 1-й этап связан с работами ученого и философа Аристотеля (384-322 г.г. до н.э.). Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.
Описание слайда:
Этапы развития логики Логика очень древняя наука. 1-й этап связан с работами ученого и философа Аристотеля (384-322 г.г. до н.э.). Аристотель впервые дал систематическое изложение логики. Он подверг анализу человеческое мышление, его формы – понятие, суждение, умозаключение. Так возникла формальная логика.

Слайд 3


Этапы развития логики 2-й этап – появление математической, или символической, логики. Основы ее заложил немецкий ученый и философ Г.В. Лейбниц (1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменить простые рассуждения действиями со знаками, и привел соответствующие правила. Но он выдвинул только идею, а развил её окончательно англичанин Д. Буль (1815-1864).
Описание слайда:
Этапы развития логики 2-й этап – появление математической, или символической, логики. Основы ее заложил немецкий ученый и философ Г.В. Лейбниц (1646-1716). Он сделал попытку построить первые логические исчисления, считал, что можно заменить простые рассуждения действиями со знаками, и привел соответствующие правила. Но он выдвинул только идею, а развил её окончательно англичанин Д. Буль (1815-1864).

Слайд 4


Формы мышления Логика – эта наука, изучающая законы и формы мышления; учение о способах рассуждений и доказательств. Основными формами мышления являются понятие, суждение, умозаключение. Понятие – это форма мышления, выделяющая существенные признаки предмета или класса предметов, позволяющих отличить их от других. Например: компьютер, трапеция, портфель, ураганный ветер.
Описание слайда:
Формы мышления Логика – эта наука, изучающая законы и формы мышления; учение о способах рассуждений и доказательств. Основными формами мышления являются понятие, суждение, умозаключение. Понятие – это форма мышления, выделяющая существенные признаки предмета или класса предметов, позволяющих отличить их от других. Например: компьютер, трапеция, портфель, ураганный ветер.

Слайд 5


Понятие Понятие имеет две стороны: содержание и объем. Содержание понятия – совокупность существенных признаков, отраженных в этом понятии. Например, содержание понятия персональный компьютер-это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя.
Описание слайда:
Понятие Понятие имеет две стороны: содержание и объем. Содержание понятия – совокупность существенных признаков, отраженных в этом понятии. Например, содержание понятия персональный компьютер-это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя.

Слайд 6


Понятие Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий. Например: 1. Объем понятия город – это множество, состоящее из городов, носящих имя Москва, Одесса, Казань, Уфа, Нижнекамск и др. 2. Объем понятия персональный компьютер – совокупность существующих в мире персональных компьютеров.
Описание слайда:
Понятие Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятий. Например: 1. Объем понятия город – это множество, состоящее из городов, носящих имя Москва, Одесса, Казань, Уфа, Нижнекамск и др. 2. Объем понятия персональный компьютер – совокупность существующих в мире персональных компьютеров.

Слайд 7


Упражнения Упражнение 1. Приведите свои примеры понятий. Упражнение 2 1. Перечислите существенные признаки, составляющие содержание понятий: добродетель, истина, ложь. 2. Определите объем понятий: столица России, столица, река.
Описание слайда:
Упражнения Упражнение 1. Приведите свои примеры понятий. Упражнение 2 1. Перечислите существенные признаки, составляющие содержание понятий: добродетель, истина, ложь. 2. Определите объем понятий: столица России, столица, река.

Слайд 8


Суждения Суждение (высказывание, утверждение) – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным). Например: 1. Истинное высказывание: Буква “т” - согласная. 2. Ложное высказывание: Осень наступила, и грачи прилетели.
Описание слайда:
Суждения Суждение (высказывание, утверждение) – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинным, либо ложным, и может быть либо простым, либо составным (сложным). Например: 1. Истинное высказывание: Буква “т” - согласная. 2. Ложное высказывание: Осень наступила, и грачи прилетели.

Слайд 9


Суждение Вопросительные и восклицательные предложения не являются высказываниями, так как в них ни чего не утверждается и не отрицается. Например: 1. Уходя, гасите свет! 2. Кто хочет быть счастливым? Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Например: 5>3, H2O+SO2=H2SO4.
Описание слайда:
Суждение Вопросительные и восклицательные предложения не являются высказываниями, так как в них ни чего не утверждается и не отрицается. Например: 1. Уходя, гасите свет! 2. Кто хочет быть счастливым? Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Например: 5>3, H2O+SO2=H2SO4.

Слайд 10


Упражнения Упражнение 3. Объясните, почему следующие предложения не являются высказываниями: 1. Какого цвета твой велосипед? 2. Число Х больше пяти? 3. 5Х-2 4. Посмотрите в окно. 5. Пейте томатный сок! 6. Вы были в музее? 7. Разность чисел 12 и Х равна 6.
Описание слайда:
Упражнения Упражнение 3. Объясните, почему следующие предложения не являются высказываниями: 1. Какого цвета твой велосипед? 2. Число Х больше пяти? 3. 5Х-2 4. Посмотрите в окно. 5. Пейте томатный сок! 6. Вы были в музее? 7. Разность чисел 12 и Х равна 6.

Слайд 11


Упражнения Упражнение 4. Какие из следующих высказываний являются истинными, а какие ложными? 1. Город Москва – столица России. 2. Число 12 – простое. 3. 7*3=1. 4. 12<15. 5. Сканер – устройство, которое может напечатать на бумаге то, что изображено на экране компьютера. 6. Клавиатура – устройство ввода информации. Упражнение 5. Приведите свои примеры истинных и ложных высказываний.
Описание слайда:
Упражнения Упражнение 4. Какие из следующих высказываний являются истинными, а какие ложными? 1. Город Москва – столица России. 2. Число 12 – простое. 3. 7*3=1. 4. 12<15. 5. Сканер – устройство, которое может напечатать на бумаге то, что изображено на экране компьютера. 6. Клавиатура – устройство ввода информации. Упражнение 5. Приведите свои примеры истинных и ложных высказываний.

Слайд 12


Умозаключение Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.
Описание слайда:
Умозаключение Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда, если умозаключение проводится в соответствии с правилами формальной логики, то оно будет истинным. В противном случае можно прийти к ложному умозаключению.

Слайд 13


Умозаключение Например: 1. Все металлы – простые вещества. Литий – металл. Литий – простое вещество. 2. Некоторые школьники – отличники. Вовочка – школьник. Вовочка – отличник.
Описание слайда:
Умозаключение Например: 1. Все металлы – простые вещества. Литий – металл. Литий – простое вещество. 2. Некоторые школьники – отличники. Вовочка – школьник. Вовочка – отличник.

Слайд 14


Упражнение Упражнение 6. 1. Дано высказывание “Все углы равнобедренного треугольника равны”. Путем умозаключений получить высказывание “Этот треугольник равносторонний”. 2. Оцените правильность следующего рассуждения: сидящий встал; кто встал, тот стоит; значит, сидящий стоит.
Описание слайда:
Упражнение Упражнение 6. 1. Дано высказывание “Все углы равнобедренного треугольника равны”. Путем умозаключений получить высказывание “Этот треугольник равносторонний”. 2. Оцените правильность следующего рассуждения: сидящий встал; кто встал, тот стоит; значит, сидящий стоит.

Слайд 15


Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составного высказывания, не вникая в их содержание. Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно или ложно.
Описание слайда:
Алгебра высказываний Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составного высказывания, не вникая в их содержание. Алгебра логики (алгебра высказываний) – раздел математической логики, изучающий строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно или ложно.

Слайд 16


Алгебра высказываний В алгебре высказываний простым высказываниям ставятся в соответствии логические переменные, обозначаемые прописными буквами латинского алфавита. Например: А= “Листва на деревьях опадает осенью”. В= “Земля прямоугольная”.
Описание слайда:
Алгебра высказываний В алгебре высказываний простым высказываниям ставятся в соответствии логические переменные, обозначаемые прописными буквами латинского алфавита. Например: А= “Листва на деревьях опадает осенью”. В= “Земля прямоугольная”.

Слайд 17


Алгебра высказываний Высказывания, как говорилось уже ранее, могут быть истинными или ложными. Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0 . Например: А=1 В=0 В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истина” (1) и “ложь” (0). В алгебре высказываний над высказываниями можно производить логические операции, в результате которых получаются новые, составные (сложные) высказывания.
Описание слайда:
Алгебра высказываний Высказывания, как говорилось уже ранее, могут быть истинными или ложными. Истинному высказыванию соответствует значение логической переменной 1, а ложному – значение 0 . Например: А=1 В=0 В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истина” (1) и “ложь” (0). В алгебре высказываний над высказываниями можно производить логические операции, в результате которых получаются новые, составные (сложные) высказывания.

Слайд 18


Логические операции Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний. Рассмотрим три базовых логических операций – инверсию, конъюнкцию, дизъюнкцию и дополнительные – импликацию и эквивалентность.
Описание слайда:
Логические операции Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний. Рассмотрим три базовых логических операций – инверсию, конъюнкцию, дизъюнкцию и дополнительные – импликацию и эквивалентность.

Слайд 19


Логические операции Инверсия (от лат. inversion – переворачиваю) - отрицание. Инверсия логической переменной истина, если переменная ложна, и, наоборот, инверсия ложна, если переменная истинна. Обозначается ¬А, читается не А.
Описание слайда:
Логические операции Инверсия (от лат. inversion – переворачиваю) - отрицание. Инверсия логической переменной истина, если переменная ложна, и, наоборот, инверсия ложна, если переменная истинна. Обозначается ¬А, читается не А.

Слайд 20


Логические операции Конъюнкция (от лат. conjunction – связываю) - логическое умножение. Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания, истинны. Обозначается А В, читается А и В.
Описание слайда:
Логические операции Конъюнкция (от лат. conjunction – связываю) - логическое умножение. Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания, истинны. Обозначается А В, читается А и В.

Слайд 21


Конъюнкция
Описание слайда:
Конъюнкция

Слайд 22


Логические операции Дизъюнкция (от лат. disjunction – различаю) - логическое сложение. Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. Обозначается А В, читается А или В.
Описание слайда:
Логические операции Дизъюнкция (от лат. disjunction – различаю) - логическое сложение. Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. Обозначается А В, читается А или В.

Слайд 23


Дизъюнкция
Описание слайда:
Дизъюнкция

Слайд 24


Логические операции Импликация (от лат. implication – тесно связывать) - логическое следование. Импликация двух логических переменных ложна тогда и только тогда, когда из истинного основания следует ложное следствие. Обозначается А В, где А–условие В - следствие. Читается Если А, то В; Когда А, тогда В.
Описание слайда:
Логические операции Импликация (от лат. implication – тесно связывать) - логическое следование. Импликация двух логических переменных ложна тогда и только тогда, когда из истинного основания следует ложное следствие. Обозначается А В, где А–условие В - следствие. Читается Если А, то В; Когда А, тогда В.

Слайд 25


Импликация
Описание слайда:
Импликация

Слайд 26


Логические операции Эквивалентность (от лат. equivalents – равноценность) - логическое равенство. Эквивалентность двух логических переменных истинна тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. Обозначается А В, читается А тогда и только тогда, когда В.
Описание слайда:
Логические операции Эквивалентность (от лат. equivalents – равноценность) - логическое равенство. Эквивалентность двух логических переменных истинна тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. Обозначается А В, читается А тогда и только тогда, когда В.

Слайд 27


Эквивалентность
Описание слайда:
Эквивалентность

Слайд 28


Упражнения Среди следующих высказываний укажите составные, выделите в них простые. Число 456 трехзначное и четное. Неверно, что Солнце движется вокруг Земли. Число делится на 9 тогда и только тогда, когда сумма его цифр делится на 9. Луна – спутник Земли. На уроке химии ученики выполняли лабораторную работу, и результаты исследований записывали в тетрадь. Если число оканчивается на 0, то оно делится на 10. Чтобы погода была солнечной, достаточно, чтобы не было ни ветра, ни дождя. Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны.
Описание слайда:
Упражнения Среди следующих высказываний укажите составные, выделите в них простые. Число 456 трехзначное и четное. Неверно, что Солнце движется вокруг Земли. Число делится на 9 тогда и только тогда, когда сумма его цифр делится на 9. Луна – спутник Земли. На уроке химии ученики выполняли лабораторную работу, и результаты исследований записывали в тетрадь. Если число оканчивается на 0, то оно делится на 10. Чтобы погода была солнечной, достаточно, чтобы не было ни ветра, ни дождя. Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны.

Слайд 29


Упражнения Постройте отрицания следующих высказываний. На улице сухо. Сегодня выходной день. Ваня не был готов сегодня к урокам. Неверно, что число 3 не является делителем числа 198. Некоторые млекопитающие не живут на суше. Неверно, что число 17 – простое.
Описание слайда:
Упражнения Постройте отрицания следующих высказываний. На улице сухо. Сегодня выходной день. Ваня не был готов сегодня к урокам. Неверно, что число 3 не является делителем числа 198. Некоторые млекопитающие не живут на суше. Неверно, что число 17 – простое.

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию