Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил

Нажмите для полного просмотра!

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №2

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №3

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №4

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №5

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №6

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №7

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №8

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №9

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №10

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №11

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №12

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №13

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №14

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №15

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №16

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил, слайд №17

Содержание ▲

Вы можете ознакомиться и скачать Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил. Презентация содержит 17 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1

Описание слайда:

Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

Основные формы МЫШЛЕНИЯ Понятие- это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других

Слайд 4

Описание слайда:

Примеры Квадрат «Принтер предназначен для ввода информации» Ураганный ветер Доказательство теоремы «Дважды два равно четырем»

Слайд 5

Описание слайда:

Формальная логика это наука о законах и формах мышления

Слайд 6

Описание слайда:

Суждения в математической логике называют высказываниями или логическими выражениями Высказывание – это повествовательное предложение, о котором можно сказать, истинно оно или ложно.

Слайд 7

Описание слайда:

Сложное (составное) высказывание - получается из простых или сложных высказываний с использованием союзов «И», «ИЛИ» и частицы «НЕ» Простые ИЛИ сложные высказывания также называют логическими выражениями

Слайд 8

Описание слайда:

Пример: Составь сложно высказывание с союзом И, ИЛИ Простое высказывание: «На улице светит солнце» Простое высказывание: «На улице пасмурная погода» Сложное высказывание с союзом «И»: «На улице светит солнце И на улице пасмурная погода» ЛОЖНО Сложное высказывание с союзом «ИЛИ»: «На улице светит солнце ИЛИ на улице пасмурная погода» ИСТИННО

Слайд 9

Описание слайда:

Логическое выражение - это символическая запись, состоящая из логических величин (констант или переменных), объединенных логическими операциями

Слайд 10

Описание слайда:

Логические операции и их свойства

Слайд 11

Описание слайда:

Таблица истинности - это таблица со всеми возможными значениями входных переменных и соответствующими им значениями логической функции

Слайд 12

Описание слайда:

Инверсия Одноместная логическая операция Частица «НЕ» Иначе называется: Логическим отрицанием Обозначение: А, А Результат ИНВЕРСИИ будет ложным, если исходное выражение истинно, и наоборот.

Слайд 13

Описание слайда:

Конъюнкция Двухместная логическая операция Союз «И» Иначе называется: Логическим умножением Обозначение: А&B, А B, АxB, АB Результат КОНЪЮНКЦИИ будет истинным, тогда и только тогда, когда истинны оба исходных логических выражения одновременно.

Слайд 14

Описание слайда:

Дизъюнкция Двухместная логическая операция Союз «ИЛИ» Иначе называется: Логическим сложением Обозначение: АVB, А+B Результат ДИЗЪЮНКЦИИ будет истинным, тогда и только тогда, когда истинно хотя бы одно из исходных логических выражений.

Слайд 15

Описание слайда:

Импликация Условная двухместная логическая операция Связка «ЕСЛИ…, ТО…» Иначе называется: Логическим следованием Обозначение: А=>B Результат ИМПЛИКАЦИИ будет ложным, тогда и только тогда, когда условие истинно, а следствие ложно.

Слайд 16

Описание слайда:

Эквивалентность Двухместная логическая операция Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» Иначе называется: Равнозначностью Обозначение: А<=>B Результат ЭКВИВАЛЕНТНОСТИ будет истинным, тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны.