"Основы логики, таблицы истинности" - davaiknam.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Программа аттестационного испытания по дисциплине «математика для... 1 49.34kb.
Программа аттестационного испытания по дисциплине «математика для... 1 49.34kb.
Программа аттестационного испытания по дисциплине «математика для... 1 48.86kb.
Основы формальной логики 1 353.77kb.
Урок по теме «Построение таблиц истинности» образовательный модуль... 1 81.76kb.
Алгебра логики и логические основы компьютера Алгебра логики 1 37.92kb.
Урок 1 Тема урока : «Правила тб. Основные логические операции. 1 176.53kb.
Логические элементы 1 72.34kb.
Основы логики и логические основы компьютера. Логические основы устройства... 1 86.8kb.
Практикум по решению задач в курсе информатики. Лебедева Э. 1 262.58kb.
Урок-коллоквиум Тема: "Основы логики" 1 12.79kb.
Рабочая программа дисциплины б. «Право социального обеспечения» 4 604.22kb.
Направления изучения представлений о справедливости 1 202.17kb.

"Основы логики, таблицы истинности" - страница №1/1

Тема: ”Основы логики, таблицы истинности”

Цели урока:

  1. Обучающие:

    1. Познакомиться с основными понятиями и операциями формальной логики

  2. Развивающие:

    1. Развивать логическое мышление

    2. Развивать внимание

    3. Развивать память

  3. Воспитывающие:

    1. Воспитывать умение слушать учителя и одноклассников

    2. Воспитывать аккуратность ведения тетради

    3. Воспитывать дисциплинированность

Ход урока

Организационный момент

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



Объяснение нового материала

Высказыванием в алгебре логики называют повествовательное предложение, в котором что-либо утверждается или отрицается (логическая величина). По поводу любого высказывания можно сказать истинно оно или ложно (истина и ложь – логические константы).



Фронтальная работа (закрепление определения)

Какие из предложений являются высказываниями? Определите их истинность

Число 6 – чётное. (да, истинное высказывание)

Посмотрите на доску. (нет, ничего нельзя сказать о истинности или ложности)

Все роботы являются машинами. (да, истинное высказывание)

У каждой лошади есть хвост. (да, ложное высказывание)

Внимание! (нет, не является повествовательным предложением)

Кто отсутствует? (нет, не является повествовательным предложением)

Придумайте одно истинное и одно ложное высказывание

Объяснение нового материала

Высказывания бывают общими, частными или единичными



  • Общее высказывание начинается со слов: все, всякий, каждый, ни один

  • Частное высказывание начинается со слов: некоторые, большинство, и т.п.

  • Во всех других случаях высказывания являются единичными

Работа по группам (закрепление нового понятия)

Какие из приведённых высказываний являются общими?

Не все книги содержат полезную информацию (да)

Кошка является домашним животным (нет, является единичным высказыванием)

Все солдаты храбрые (да)

Ни один внимательный человек не совершит оплошность (да)

Какие из приведённых высказываний являются частными?

Некоторые мои друзья собирают марки (да)

Все лекарства неприятны на вкус (нет, общее высказывание)

А – первая буква в алфавите (нет, единичное высказывание)

Многие растения обладают целебными свойствами (да)

Объяснение нового материала

Логическая переменная: символически обозначенная логическая величина (А, В, Х, Y, …)

Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок):

Операция отрицания (инверсия)

Присоединение «НЕ»к высказыванию меняет его истинное значение на противоположное Логическое отрицание обозначается: А, или ~A



Пример: Рассмотрим высказывание: “Неверно, что 4 делится на 3”. Обозначим А = “Число 4 делится на 3” Тогда логическая форма отрицания этого высказывания имеет вид: ~A

Рисуем в тетрадях таблицу истинности для операции «отрицание». Если переменная истинна, то её отрицание ложно и наоборот.



Работа в группах (закрепление нового понятия)

Придумать отрицание. Проверьте его на таблице истинности.



Операция логического умножения (конъюнкция)

Объединение высказываний с помощью логического «И». Высказывание, полученное в

результате конъюнкции, ложно тогда и только тогда, когда ложно хотя бы одно из входящих высказываний. Конъюнкция обозначается , & или ×

Пример: А=«Марс - планета» В=«Число 12 - чётное»

Рисуем в тетрадях таблицу истинности для операции «конъюнкция».



Работа в группах (закрепление нового понятия)

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



Операция логического сложения (дизъюнкция)

Соединение высказываний с помощью логического «или». Высказывание, полученное в результате дизъюнкции, истинно тогда и только тогда, когда истинно хотя бы одно из исходных высказываний. Дизъюнкция обозначается «V» или «+»



Пример: А=«Земля вращается вокруг Солнца» В=«Число 13 - чётное»

Рисуем в тетрадях таблицу истинности для операции «дизъюнкция».



Работа в группах (закрепление нового понятия)

Придумайте и проверьте на истинность свой пример сложного высказывания, используя логическую связку ИЛИ.



Операция импликации(следствие)

Позволяет получить сложное высказывание из двух простых высказываний и грамматической конструкции «если..., то...». Импликация ложна тогда и только тогда, когда посылка истинна, а заключение - ложно. В остальных случаях импликация истинна. Импликация обозначается знаками « » и « »



Пример: А=«выглянет Солнце» В=«станет тепло»

Рисуем в тетрадях таблицу истинности для операции «импликация».



Работа в группах (закрепление нового понятия)

Придумайте и проверьте на истинность свой пример сложного высказывания, используя логическую связку ЕСЛИ…ТО



Операция эквивалентности (равносильность)

Полученное сложное высказывание содержит слова «тогда и только тогда, когда»Эквивалентность истинна, если оба исходных высказывания имеют одинаковые истинностные значения. Эквивалентность обозначается знаком « » или « »



Пример: А=«треугольник прямоугольный» В=«квадрат большей стороны равен сумме квадратов других сторон»

Рисуем в тетрадях таблицу истинности для операции «эквивалентность».



Работа в группах

Придумайте и проверьте на истинность свой пример сложного высказывания, используя логическую связку ТОГДА И ТОЛЬКО ТОГДА…КОГДА



Домашнее задание

  1. Придумать пример общего, частного и единичного высказывания (истинного и ложного)

  2. Придумать примеры истинных и ложных высказываний и проверить на них все таблицы истинности

Подведение итогов урока, выставление оценок.




ЗАКОН ПАРКИНСОНА: Число чиновников растет независимо от объема работы. Сирил Норткот Паркинсон
ещё >>