Презентация на тему "Формальная логика"

Презентация: Формальная логика
1 из 17
Ваша оценка презентации
Оцените презентацию по шкале от 1 до 5 баллов
  • 1
  • 2
  • 3
  • 4
  • 5
3.0
1 оценка

Комментарии

Нет комментариев для данной презентации

Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.


Добавить свой комментарий

Аннотация к презентации

Скачать презентацию (0.11 Мб). Тема: "Формальная логика". Предмет: информатика. 17 слайдов. Для учеников 6-9 класса. Добавлена в 2016 году. Средняя оценка: 3.0 балла из 5.

Содержание

  • Презентация: Формальная логика
    Слайд 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 Результат ЭКВИВАЛЕНТНОСТИ будет истинным, тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны.

  • Слайд 17

    Литература

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

Посмотреть все слайды

Сообщить об ошибке