Презентация на тему Составление таблиц истинности для сложных высказываний
ТЕМА: Составление таблиц истинности для сложных высказываний
Цели занятия: обобщить основные понятия логики высказываний;создать условия для формирования знаний по построению таблиц истинности; закрепить алгоритм составления таблиц истинности на практике развивать логическое мышление.
Что такое высказывание?Под высказыванием понимается такое предположение, которое что-либо утверждает или отрицает, и о котором можно судить истинно оно или ложно.
Какие из следующих предложений являются высказываниями? А. Москва – столица России; Б. Студент физико-математического факультета; В. Луна – спутник Марса; Г. 2+2-5; Д. В группе 2 ПКС обучаются 15 студентов; Е. Кислород – газ; Ж. Каша – вкусное блюдо; З. 2+7=9; И. Треугольник является прямоугольным; К. Сегодня плохая погода; Л. Река Ангара впадает в озеро Байкал.
style.colorstyle.colorstyle.colorstyle.colorstyle.colorstyle.color
Установите соответствие:{69CF1AB2-1976-4502-BF36-3FF5EA218861}→КОНЬЮНКЦИЯИЛИʌ или &ДИЗЪЮНКЦИЯЕСЛИ ТО ↔ОТРИЦАНИЕИ ¬ или ИМПЛИКАЦИЯНЕᴠЭКВИВАЛЕНТНОСТЬТОГДА И ТОЛЬКО ТОГДА
{7E9639D4-E3E2-4D34-9284-5A2195B3D0D7}АВ000011101111АᴠВ{7E9639D4-E3E2-4D34-9284-5A2195B3D0D7}АВ001010100111А↔В
{7E9639D4-E3E2-4D34-9284-5A2195B3D0D7}АВ001011100111А→В{7E9639D4-E3E2-4D34-9284-5A2195B3D0D7}АВ000010100111АʌВ
Определите логическое значение следующих высказываний: 7 – простое число и 9 - простое число Число 2 четное или это число простое Если белые медведи живут в Африке, то 2*2=4Санкт-Петербург расположен на Неве и 2+3=5 ИСТИНАЛОЖЬИСТИНАИСТИНА
Запишите символически следующее сложное высказывание: «Если посылка истинна и заключение ложно, то импликация ложна».«Если число делится на 2 и не делится на 3, то оно не делится на 6». АʌВ→С(Аʌ¬В)→¬С
Формулы алгебры высказываний : выполнимые; тождественно истинные или тавтологии; опровержимые; тождественно ложные или противоречия.
Порядок выполнения логических операций ОтрицаниеКонъюнкцияДизъюнкцияИмпликацияЭквивалентность
Определите порядок выполнения логических операций в данном высказывании: (Аᴠ¬В→¬С)↔А
Алгоритм построения таблиц истинности:1.Определить количество строк в таблице2.Определить количество столбцов3.Определить последовательность выполнения логических операций4. Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
F = (A ᴠ B) ʌ (¬ A ᴠ¬ B) F= X ᴠ Y ʌ ¬ ZF=XʌYᴠ¬(XᴠY)ᴠXF = А ʌ(В → С)F=(Вʌ¬В)↔(AᴠD)
Домашнее задание:Материал занятияПостроение таблиц истинности для более сложных высказываний