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


Формальная логика

Содержание

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

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

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

Н.К.Крупской, города Нижний Тагил

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

Слайд 2Слово «ЛОГИКА» означает
- совокупность правил, которым подчиняется процесс мышления

Законы Логики

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

мира

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

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

или класса предметов, отличающие его от других
Суждение-
это мысль, в которой

что-то утверждается или отрицается

Умозаключение-
это прием мышления, позволяющий на основе одного или нескольких суждений (посылок) получить новое суждение (вывод)

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

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

равно четырем»
Понятие
Суждение ложное
Понятие
Умозаключение
Суждение истинное

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

Слайд 5Формальная логика
это наука о законах и формах мышления
Математическая логика
изучает вопросы

применения математических методов для решения логических задач и построения логических

схем, которые лежат в основе работы любого компьютера
Формальная логикаэто наука о законах и формах мышленияМатематическая логика	изучает вопросы применения математических методов для решения логических задач

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

это повествовательное предложение, о котором можно сказать, истинно оно или

ложно.

Примеры:
Каждый ромб – параллелограмм (истинно)
Каждый параллелограмм – ромб (ложно)
Каждый треугольник – равнобедренный треугольник (ложно)
Каждый равнобедренный треугольник – треугольник (истинно)

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

Слайд 7Сложное (составное) высказывание -
получается из простых или сложных высказываний с

использованием союзов «И», «ИЛИ» и частицы «НЕ»

Простые ИЛИ сложные высказывания

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

Слайд 8Пример: Составь сложно высказывание с союзом И, ИЛИ
Простое высказывание:
«На

улице светит солнце»
Простое высказывание:
«На улице пасмурная погода»

Сложное высказывание с

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

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

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

или переменных), объединенных логическими операциями
Существуют разные варианты обозначения
истинности или

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

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

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

Слайд 11Таблица истинности
- это таблица со всеми возможными значениями входных переменных

и соответствующими им значениями логической функции
Логическая функция
- это в которой

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

Слайд 12Инверсия
Одноместная логическая операция
Частица «НЕ»
Иначе называется: Логическим отрицанием
Обозначение: А,

А
Результат ИНВЕРСИИ будет ложным, если исходное выражение истинно,

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

Слайд 13Конъюнкция
Двухместная логическая операция
Союз «И»
Иначе называется: Логическим умножением
Обозначение: А&B, А

B, АxB, АB
Результат КОНЪЮНКЦИИ будет истинным, тогда и только тогда,

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

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

будет истинным, тогда и только тогда, когда истинно хотя бы

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

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

ИМПЛИКАЦИИ будет ложным, тогда и только тогда, когда условие истинно,

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

Слайд 16Эквивалентность
Двухместная логическая операция
Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»
Иначе называется: Равнозначностью
Обозначение:

АB
Результат ЭКВИВАЛЕНТНОСТИ будет истинным, тогда и только тогда, когда оба

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

Слайд 17Литература
Е.С.Кутугина «Арифметические и логические основы построения компьютера». Издание третье.Томск, 2007

год.

ЛитератураЕ.С.Кутугина «Арифметические и логические основы построения компьютера». Издание третье.Томск, 2007 год.

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

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

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

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

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


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

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