Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Конспекты / Конспект урока по информатике «Понятие высказывания и логические операции над высказываниями. Составление таблиц истинности»
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 26 апреля.

Подать заявку на курс
  • Информатика

Конспект урока по информатике «Понятие высказывания и логические операции над высказываниями. Составление таблиц истинности»

Выбранный для просмотра документ Задания для самостоятельного решения.doc

библиотека
материалов

Задания для самостоятельного решения

  1. Являются ли данные предложения высказываниями (суждениями)? Определите истинность высказываний.

- Москава – столица России.

- Все студенты математического факультета учатся на отлично.

- х >9, х Є Q.

- Луна вращается вокруг Земли.

- Ура, каникулы!!!

  1. Составьте таблицы истинности для данных высказываний:

hello_html_m6490f7db.gif

hello_html_3b54dcac.gif

hello_html_62f4c942.gif

hello_html_7cbebafa.gif

hello_html_2024cd05.gif

  1. Определите истинность формулы: F = ((С \/В) =>  В) /\ (А /\ В) => В.

Построим таблицу истинности этой формулы.



Выбранный для просмотра документ Конспект занятия.docx

библиотека
материалов

hello_html_m919b022.gifhello_html_m919b022.gifhello_html_m919b022.gifhello_html_m919b022.gifhello_html_m60d2e2bf.gifhello_html_5087cf77.gifhello_html_5087cf77.gifhello_html_5087cf77.gifhello_html_m399aa922.gifhello_html_76ff9c53.gifhello_html_76ff9c53.gifПодготовила: Гунченко Яна Александровна,

учитель математики и информатики

МОУ «Казинская СОШ»

Валуйского района Белгородской области



Тема: «Понятие высказывания и логические операции над высказываниями. Составление таблиц истинности»



Цели и задачи занятия: (слайд 2)


Образовательные: познакомить обучающихся с краткой историей возникновения булевой алгебры, логическими операциями над высказываниями; научить составлять таблицы истинности; способствовать развитию у учащихся логического мышления.

Развивающие: развивать внимание, память, речь, мыслительную деятельность учащихся, умения анализировать, обобщать и наблюдать, сравнивать, выделять главное, делать выводы.

Воспитательные: стимулировать познавательную деятельность учащихся, привить интерес к предмету. 


Ход занятия:


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

  2. Изложение нового материала


Историческая справка


В XVII веке великий немецкий учёный Лейбниц задумал создать свою новую логику, которая была бы «искусством исчисления». Он считал, что основные понятия должны быть обозначены символами, которые соединяются по определённым правилам, и это позволяет всякие рассуждения заменить вычислением.

Первая реализация идеи Лейбница принадлежит математику Джорджу Болю. (слайд 3)

Джордж Буль родился в Англии 2 ноября 1815 года. Всю свою жизнь он работал учителем математики и физики в школе. Из воспоминаний его учеников известно, какое огромное значение придавал Буль развитию творческих способностей учащихся. При изложении нового материала он стремился к тому, чтобы его ученики сами заново «открывали» некоторые формулы и законы.

Рассказывая ученикам о трудностях, с которыми ученые неизбежно сталкивались в поиске истины, учитель любил повторять одну восточную мудрость: даже персидский трон не может принести человеку столько наслаждений, как самое маленькое научное открытие. Буль никогда не терял надежды, что когда-нибудь и его ученики сделают настоящее открытие.

Диапазон научных интересов Буля был очень широк: в равной степени его интересовали математика и логика — наука о законах и формах мышления. В те времена логика считалась гуманитарной наукой, и многих, кто знал Джорджа Буля, удивляло, как в одном человеке могли уживаться точные методы познания, присущие математике, и чисто описательные методы логики.

Но ученому захотелось сделать науку о законах и формах мышления такой же строгой, как и любая из естественных наук, скажем математика и физика. Для этого Буль стал обозначать буквами не числа, как это делается в обычной алгебре, а высказывания и показал, что такими уравнениями, очень схожими с алгебраическими, можно решать вопросы об истинности и ложности высказываний, сделанных человеком. Так возникла алгебра Буля.

В наши дни алгебра логики стала важнейшей составной частью математики. Одна из ее задач — это решение всевозможных уравнений, числовые соотношения в которых заменены буквенными. Каждый из вас, наверное, на всю свою жизнь запомнил, как решать уравнения второй и третьей степени с буквенными коэффициентами. Так вот, Буль в своей новой алгебре воспользовался всеми этими формулами и правилами.

Новым в алгебре Буля является то, что элементы множества, которые в ней изучаются, являются не числами, а высказываниями. Если при решении обычных алгебраических уравнений определяется, какому числу равняется неизвестное X, школьная алгебра ищет ответ на вопрос: «Сколько?»

Алгебра логики ищет ответ на вопрос: «Верно ли то или другое высказывание, обозначенное буквой X?»

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

Там рассматриваются только два состояния монеты — орел или решка. По договоренности сторон орел это ДА, а решка это НЕТ. Никакие другие промежуточные положения в теории вероятностей не учитываются, хотя они и возможны. Подброшенная монета может упасть на ребро, докатиться по полу до ножки стула или стола и так и остаться в вертикальном положении, а то и вообще провалиться в широкую щель в полу. (По аналогии с электрическими схемами две последних ситуации можно рассматривать как неисправность в виде обгоревшего контакта). Но в те далекие времена булева алгебра, увы, широкого распространения не получила.

Вновь «открыл» алгебру Буля Клод Шеннон. (слайд 4) В 1938 году, будучи еще студентом Массачусетского технологического института и Америке, молодой Клод доказал, что алгебра Буля полностью подходит для анализа и синтеза релейных и переключательных схем. С помощью алгебры Буля можно очень просто составить электрическую схему автомата, работающего на реле.

Для этого, оказывается, нужно только точно знать, что должен делать автомат, то есть нужно иметь алгоритм его работы. Так была заложена основа теории цифровых машин, действующих по принципу ДА или НЕТ.


Понятие высказывания (суждения)


Высказывание (суждение) - связное повествовательное предложение, о котором можно сказать, истинно оно или ложно. (слайд 5)


Примеры:

  1. «5 > 3» – истинное высказывание.

  2. «Сочи – столица России» - ложное высказывание.

  3. «Астрономия – интересный предмет». Данное предложение не является высказыванием, так как не имеет единого мнения о том, истинно это предложение или ложно.

  4. « y > 7, y Є Z». Предложение не является высказыванием из-за присутствия в нем переменной.


Выделяют общие и частные суждения.

Общие суждения выражают свойства групп объектов или явлений, а частные – конкретные (частные) факты.


Примеры:

  1. «Некоторые ученики - двоечники» - частное, истинное;

  2. «Любой квадрат является прямоугольником»- общее, истинное;


Логические операции и таблицы истинности


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


1) Логическое умножение или конъюнкция: (слайд 6)

Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Таблица истинности для конъюнкции

х

у


1

1

1

1

0

0

0

1

0

0

0

0


Пример.

x – «6 делится на 2», – «6 делится на 3». Тогда  – «6 делится на 2»«6 делится на 3» истинно.


2) Логическое сложение или дизъюнкция: (слайд 7)

Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Таблица истинности для дизъюнкции

х

у

xy

1

1

1

1

0

1

0

1

1

0

0

0


Пример.

x – «5>3», y – «2>4». Тогда xy – «5>3»«2>4» истинно, так как истинно высказывание x.


3) Логическое отрицание или инверсия: (слайд 8)

Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.

Таблица истинности для инверсии

х


1

0

0

1


4) Логическое следование или импликация: (слайд 9)

Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (х), а второе (у) является следствием.

Таблица истинности для импликации

х

у

x→y

1

1

1

1

0

0

0

1

1

0

0

1

Пример.

1)     x – «12 делится на 6», y – «12 делится на 3». Тогда импликация xy – «если 12 делится на 6, то оно делится на 3» истинна, так как истинна посылка x, и истинно заключение y.

2)     x – «12 делится на 2 и 3», y – «12 делится на 7». Тогда импликация xy – «если 12 делится на 2 и 3, то оно делится на 7» ложна, так как условие истинно, а заключение ложно.


5) Логическая равнозначность или эквивалентность: (слайд 10)

Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность.

Таблица истинности для эквивалентности

х

у

x↔y

1

1

1

1

0

0

0

1

0

0

0

1


Пример.

x – «Треугольник ABC с вершиной и основанием BC равнобедренный», y – «B=C». Эквиваленция x– «Треугольник ABC с вершиной и основанием BC равнобедренный тогда и только тогда, когда B=C.» Эквиваленция xистинна, так как высказывания x и либо одновременно истинны, либо одновременно ложны.


Порядок выполнения логических операций в сложном логическом выражении (слайд 11)

1.Инверсия;
2.Конъюнкция;
3.Дизъюнкция;
4.Импликация;
5. Эквивалентность.

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


  1. Закрепление изученного


1. Определите, какие из перечисленных предложений являются суждениями и каково их значение истинности: (слайд 12)

  1. «Зеленая доска» - не суждение;

  2. «В настоящий момент все ученики 9 «А» присутствуют на уроке информатики и внимательно слушают» - суждение, ложное;

  3. «Вы сегодня готовы к уроку?» - не суждение;

  4. «Учиться хорошо может не каждый» - суждение, истинное;

  5. «Посмотрите на доску» - не суждение;

  6. «В конце любого урока звенит звонок» - суждение, истинное;

  7. «3+5=9» - суждение, ложное.

2. Определите, какие из суждений являются частными, а какие общими и каково их значение истинности: (слайд 13)

1)«Владивосток – столица Албании» - частное, ложное;

2) «У всех уличных люков крышка круглая, а не квадратная потому, что она не может соскользнуть в люк, если поставить ее на ребро» - общее, истинное;

3)« Для любого х, х2> 0» - общее, ложное;

4)«Все компьютеры в этом кабинете рабочие» - общее, ложное.

3.Построим таблицу истинности логического выражения: hello_html_m667deed2.gif. (слайд 14)

1)Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 2 переменные: А и В.

Количество строк в таблице истинности должно быть равно 22=4.

2)Определяем количество столбцов. Это количество логических переменных плюс количество логических операций.

В нашем случае количество переменных равно двум и количество логических операции двум, то есть количество столбцов таблицы истинности равно четырём.

3)Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.

A

B

hello_html_1acb0039.gif

hello_html_m667deed2.gif

0

0

1

1

0

1

0

0

1

0

1

1

1

1

0

1


4. Построить таблицу истинности для высказывания: (слайд 15)

hello_html_m75fcb81b.gif

1)Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 2 переменные: А и В.

Количество строк в таблице истинности должно быть равно 22=4.

2)Определяем количество столбцов. Это количество логических переменных плюс количество логических операций.

В нашем случае количество переменных равно двум, а количество логических операции — пяти, то есть количество столбцов таблицы истинности равно семи.

3)Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.

Можно сначала выполнить логическое отрицание или найти значение сначала в первой скобке, затем инверсию и значение во второй скобке, затем значение между этими скобками.


A

B

hello_html_m415c345a.gif

hello_html_m718f73f9.gif

hello_html_1acb0039.gif

hello_html_1483ba6c.gif

hello_html_m75fcb81b.gif

0

0

0

1

1

1

0

0

1

1

1

0

1

1

1

0

1

0

1

1

1

1

1

1

0

0

0

0


4.Подведение итогов занятия.


Обобщить пройденный материал, оценить работу активных учеников.


  1. Домашнее задание. (слайд 16)


Построить таблицу истинности для формулы: hello_html_m6a3d77e3.gif












Использованный источники:


  1. Д.А. Беликов, Е.В. Каминская «Информатика. Основы алгебры высказываний: Учебно-методический комплекс» / Томск: ТГУ, 2011

  2. Электрик инфо [Электронный ресурс]. – Режим доступа: http://electrik.info/main/fakty/229-buleva-algebra-chast-1-nemnogo-istorii.html (Дата обращения: 13.06.2015).

  3. С.В. Костенко, Т.А. Маничева, А.П. Филимонова «Элементы математической логики с приложением: Учебно-методическое пособие» / Благовещенск: Амурский гос. ун-т, 2002.

  4. Информационно-образовательная среда СГЭУ [Электронный ресурс]. – Режим доступа: http://ios.sseu.ru/public/eresmat/metod/met6/parmet6_2.htm (Дата обращения: 14.06.2015).

  5. Webmath.ru Образовательные онлайн сервисы [Электронный ресурс]. – Режим доступа: http://www.webmath.ru/poleznoe/tables_istinnosti.php (Дата обращения: 14.06.2015).




Выбранный для просмотра документ Презентация к занятию.ppt

библиотека
материалов
Powerpoint Templates «Понятие высказывания и логические операции над высказыв...
Цели и задачи занятия:   Образовательные: познакомить обучающихся с краткой и...
Джордж Буль Powerpoint Templates Page *
Клод Шеннон Powerpoint Templates Page *
Высказывание (суждение) - связное повествовательное предложение, о котором мо...
Powerpoint Templates Page *
Powerpoint Templates Page *
Powerpoint Templates Page *
Powerpoint Templates Page *
Powerpoint Templates Page *
ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ Инверсия (отрицание) Конъюнкция Дизъюн...
Определите, какие из перечисленных предложений являются суждениями и каково и...
Определите, какие из суждений являются частными, а какие общими и каково их з...
Построим таблицу истинности логического выражения: . Powerpoint Templates Pag...
Построить таблицу истинности для высказывания: Powerpoint Templates Page *
Домашнее задание: построить таблицу истинности для формулы: Powerpoint Templa...
16 1

"Инфоурок" приглашает всех педагогов и детей к участию в самой массовой интернет-олимпиаде «Весна 2017» с рекордно низкой оплатой за одного ученика - всего 45 рублей

В олимпиадах "Инфоурок" лучшие условия для учителей и учеников:

1. невероятно низкий размер орг.взноса — всего 58 рублей, из которых 13 рублей остаётся учителю на компенсацию расходов;
2. подходящие по сложности для большинства учеников задания;
3. призовой фонд 1.000.000 рублей для самых активных учителей;
4. официальные наградные документы для учителей бесплатно(от организатора - ООО "Инфоурок" - имеющего образовательную лицензию и свидетельство СМИ) - при участии от 10 учеников
5. бесплатный доступ ко всем видеоурокам проекта "Инфоурок";
6. легко подать заявку, не нужно отправлять ответы в бумажном виде;
7. родителям всех учеников - благодарственные письма от «Инфоурок».
и многое другое...

Подайте заявку сейчас - https://infourok.ru/konkurs

Описание презентации по отдельным слайдам:

№ слайда 1 Powerpoint Templates «Понятие высказывания и логические операции над высказыв
Описание слайда:

Powerpoint Templates «Понятие высказывания и логические операции над высказываниями. Составление таблиц истинности» Powerpoint Templates Page *

№ слайда 2 Цели и задачи занятия:   Образовательные: познакомить обучающихся с краткой и
Описание слайда:

Цели и задачи занятия:   Образовательные: познакомить обучающихся с краткой историей возникновения булевой алгебры, логическими операциями над высказываниями; научить составлять таблицы истинности; способствовать развитию у учащихся логического мышления. Развивающие: развивать внимание, память, речь, мыслительную деятельность учащихся, умения анализировать, обобщать и наблюдать, сравнивать, выделять главное, делать выводы. Воспитательные: стимулировать познавательную деятельность учащихся, привить интерес к предмету.  Powerpoint Templates Page *

№ слайда 3 Джордж Буль Powerpoint Templates Page *
Описание слайда:

Джордж Буль Powerpoint Templates Page *

№ слайда 4 Клод Шеннон Powerpoint Templates Page *
Описание слайда:

Клод Шеннон Powerpoint Templates Page *

№ слайда 5 Высказывание (суждение) - связное повествовательное предложение, о котором мо
Описание слайда:

Высказывание (суждение) - связное повествовательное предложение, о котором можно сказать, истинно оно или ложно Powerpoint Templates Page *

№ слайда 6 Powerpoint Templates Page *
Описание слайда:

Powerpoint Templates Page *

№ слайда 7 Powerpoint Templates Page *
Описание слайда:

Powerpoint Templates Page *

№ слайда 8 Powerpoint Templates Page *
Описание слайда:

Powerpoint Templates Page *

№ слайда 9 Powerpoint Templates Page *
Описание слайда:

Powerpoint Templates Page *

№ слайда 10 Powerpoint Templates Page *
Описание слайда:

Powerpoint Templates Page *

№ слайда 11 ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ Инверсия (отрицание) Конъюнкция Дизъюн
Описание слайда:

ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ Инверсия (отрицание) Конъюнкция Дизъюнкция Импликация Эквивалентность Powerpoint Templates Page *

№ слайда 12 Определите, какие из перечисленных предложений являются суждениями и каково и
Описание слайда:

Определите, какие из перечисленных предложений являются суждениями и каково их значение истинности: 1)«Зеленая доска» 2)«В настоящий момент все ученики 9 «А» присутствуют на уроке информатики и внимательно слушают 3)«Вы сегодня готовы к уроку?» 4)«Учиться хорошо может не каждый» 5)«Посмотрите на доску» 6)«В конце любого урока звенит звонок» 7)«3+5=9» Powerpoint Templates Page *

№ слайда 13 Определите, какие из суждений являются частными, а какие общими и каково их з
Описание слайда:

Определите, какие из суждений являются частными, а какие общими и каково их значение истинности: 1)«Владивосток – столица Албании» 2) «У всех уличных люков крышка круглая, а не квадратная потому, что она не может соскользнуть в люк, если поставить ее на ребро» 3)« Для любого х, х2> 0» 4)«Все компьютеры в этом кабинете рабочие» Powerpoint Templates Page *

№ слайда 14 Построим таблицу истинности логического выражения: . Powerpoint Templates Pag
Описание слайда:

Построим таблицу истинности логического выражения: . Powerpoint Templates Page *

№ слайда 15 Построить таблицу истинности для высказывания: Powerpoint Templates Page *
Описание слайда:

Построить таблицу истинности для высказывания: Powerpoint Templates Page *

№ слайда 16 Домашнее задание: построить таблицу истинности для формулы: Powerpoint Templa
Описание слайда:

Домашнее задание: построить таблицу истинности для формулы: Powerpoint Templates Page *

Автор
Дата добавления 26.08.2015
Раздел Информатика
Подраздел Конспекты
Просмотров1455
Номер материала ДA-016508
Получить свидетельство о публикации

"Инфоурок" приглашает всех педагогов и детей к участию в самой массовой интернет-олимпиаде «Весна 2017» с рекордно низкой оплатой за одного ученика - всего 45 рублей

В олимпиадах "Инфоурок" лучшие условия для учителей и учеников:

1. невероятно низкий размер орг.взноса — всего 58 рублей, из которых 13 рублей остаётся учителю на компенсацию расходов;
2. подходящие по сложности для большинства учеников задания;
3. призовой фонд 1.000.000 рублей для самых активных учителей;
4. официальные наградные документы для учителей бесплатно(от организатора - ООО "Инфоурок" - имеющего образовательную лицензию и свидетельство СМИ) - при участии от 10 учеников
5. бесплатный доступ ко всем видеоурокам проекта "Инфоурок";
6. легко подать заявку, не нужно отправлять ответы в бумажном виде;
7. родителям всех учеников - благодарственные письма от «Инфоурок».
и многое другое...

Подайте заявку сейчас - https://infourok.ru/konkurs


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ


Идёт приём заявок на международный конкурс по математике "Весенний марафон" для учеников 1-11 классов и дошкольников

Уникальность конкурса в преимуществах для учителей и учеников:

1. Задания подходят для учеников с любым уровнем знаний;
2. Бесплатные наградные документы для учителей;
3. Невероятно низкий орг.взнос - всего 38 рублей;
4. Публикация рейтинга классов по итогам конкурса;
и многое другое...

Подайте заявку сейчас - https://urokimatematiki.ru

Похожие материалы

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