Разделы презентаций


Основные законы алгебры логики

Содержание

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)

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

Слайд 1ОСНОВНЫЕ ЗАКОНЫ
АЛГЕБРЫ ЛОГИКИ
Учитель информатики отделения основного общего образования ГОБУ

СПО ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина Татьяна Викторовна

ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИУчитель информатики отделения основного общего образования ГОБУ СПО ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина

Слайд 2Первые учения
о формах и
способах
рассуждений
возникли
в странах


Древнего
Востока
(Китай, Индия)

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)

Слайд 3В основе современной
логики лежат учения,
созданные древнегреческими
мыслителями (Аристотель,

Геродот)
Аристотель 384-322 до н.э
Геродот ок 490-425 до н.э

В основе современной логики лежат учения, созданные древнегреческими мыслителями (Аристотель, Геродот)Аристотель 384-322 до н.эГеродот ок 490-425 до

Слайд 4ЛОГИКА –
наука о формах
и способах мышления

ЛОГИКА – наука о формах и способах мышления

Слайд 5Законы мышления
отражают в
сознании человека свойства,
связи и отношения

объектов
окружающего мира

Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира

Слайд 6Высказывание
Понятие
Умозаключение

ВысказываниеПонятиеУмозаключение

Слайд 7Высказывание –логическое
выражение, истинность
которого требуется доказать

Высказывание –логическое выражение, истинность которого требуется доказать

Слайд 8Высказывание не может быть
выражено повелительным
или вопросительным
предложением

Высказывание не может быть выражено повелительным или вопросительным предложением

Слайд 9Высказывание
имеет 2 значения:
ложь – (false) – 0
истина – (true)

Высказывание имеет 2 значения:ложь – (false) – 0истина – (true) - 1

Слайд 10Высказывание –
обозначается большими
буквами латинского
алфавита (А, В, С)

Высказывание – обозначается большими буквами латинского алфавита (А, В, С)

Слайд 11
ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Слайд 13Таблица истинности логического умножения

Таблица истинности логического умножения

Слайд 14Дизъюнкция
(логическое сложение)
читается
обозначается А ν B

Дизъюнкция истинна,
когда хотя

бы одно
высказывание истинно
ИЛИ

Дизъюнкция (логическое сложение)читается обозначается А ν BДизъюнкция истинна, когда хотя бы одно высказывание истинноИЛИ

Слайд 15Таблица истинности логического сложения

Таблица истинности логического сложения

Слайд 16
Инверсия
(логическое отрицание)
читается
обозначается
А (не А)


НЕ

Инверсия (логическое отрицание)читается обозначается А (не А)НЕ

Слайд 17Таблица истинности логического отрицания

Таблица истинности логического отрицания

Слайд 18Импликация
(логическое следование)
обозначается А B

Импликация ложна,
тогда и только

тогда,
когда из истины следует
ложный вывод

Импликация (логическое следование)обозначается А  BИмпликация ложна, тогда и только тогда, когда из истины следует ложный вывод

Слайд 19Таблица истинности логической функции «импликация»

Таблица истинности   логической функции «импликация»

Слайд 20Эквивалентность
(логическое равенство)
обозначается А ~ B

Эквивалентность истинна,
тогда и

только тогда,
когда оба высказывания
одновременно либо
ложны, либо истинны

Эквивалентность  (логическое равенство)обозначается А ~ BЭквивалентность истинна, тогда и только тогда, когда оба высказывания одновременно либо

Слайд 21Таблица истинности логической функции эквивалентности

Таблица истинности  логической функции эквивалентности

Слайд 22Логические выражения,
у которых последние столбцы
таблиц истинности совпадают,
называются

равносильными

Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными

Слайд 23Даны выражения:
и
Построить таблицы истинности и выяснить, равносильны ли данные

выражения




Даны выражения: иПостроить таблицы истинности и выяснить, равносильны ли данные выражения

Слайд 24Список источников
1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва

«БИНОМ», 2014 г.
2. Изображение:
Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg
http://apxeo.info/wp-content/uploads/2012/07/pers.jpg
Аристотель: http://modafix.ru/images/arist1.jpg
Геродот:

http://www.stadtwanderer.net/media/sherodot.jpg
Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg
http://www.stihi.ru/pics/2011/04/05/3574.gif

Список источников1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва «БИНОМ», 2014 г.2. Изображение:Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg http://apxeo.info/wp-content/uploads/2012/07/pers.jpg

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


Для правообладателей

Яндекс.Метрика