Похожие презентации:
Составление таблиц истинности для сложных высказываний
1.
2.
Цели занятия:обобщить основные понятия
логики высказываний;
создать условия для
формирования знаний по
построению таблиц истинности;
закрепить алгоритм составления
таблиц истинности на практике
развивать логическое мышление.
3.
Что такое высказывание?Под высказыванием
понимается такое
предположение, которое чтолибо утверждает или
отрицает, и о котором можно
судить истинно оно или
ложно.
4.
Какие из следующих предложенийявляются высказываниями?
А. Москва – столица России;
Б. Студент физико-математического факультета;
В. Луна – спутник Марса;
Г. 2+2-5;
Д. В группе 2 ПКС обучаются 15 студентов;
Е. Кислород – газ;
Ж. Каша – вкусное блюдо;
З. 2+7=9;
И. Треугольник является прямоугольным;
К. Сегодня плохая погода;
Л. Река Ангара впадает в озеро Байкал.
5.
Установите соответствие:→
ʌ или &
↔
¬ или
ᴠ
КОНЬЮНКЦИЯ
ИЛИ
ДИЗЪЮНКЦИЯ
ЕСЛИ ТО
ОТРИЦАНИЕ
И
ИМПЛИКАЦИЯ
НЕ
ЭКВИВАЛЕНТНОСТЬ
ТОГДА И ТОЛЬКО
ТОГДА
6.
АВ
АᴠВ
0
0
0
0
1
1
1
0
1
1
1
1
А
В
А↔В
0
0
1
0
1
0
1
0
0
1
1
1
7.
АВ
АʌВ
0
0
0
0
1
0
1
0
0
1
1
1
А→В
А
В
0
0
1
0
1
1
1
0
0
1
1
1
8.
Определите логическоезначение следующих
высказываний:
7 – простое число и 9 - простое число ЛОЖЬ
Число 2 четное или это число простое ИСТИНА
Если белые медведи живут в Африке, то
2*2=4 ИСТИНА
Санкт-Петербург расположен на Неве и
2+3=5 ИСТИНА
9.
Запишите символическиследующее сложное
высказывание:
«Если посылка истинна и заключение
ложно, то импликация ложна».
АʌВ→С
«Если число делится на 2 и не делится
на 3, то оно не делится на 6».
(Аʌ¬В)→¬С
10.
Формулы алгебрывысказываний :
выполнимые;
тождественно истинные или тавтологии;
опровержимые;
тождественно ложные или
противоречия.
11.
Порядок выполнениялогических операций
1.
2.
3.
4.
5.
Отрицание
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
12.
Определите порядоквыполнения логических
операций в данном
высказывании:
(Аᴠ¬В→¬С)↔А
13.
Алгоритм построениятаблиц истинности:
1.Определить количество строк в таблице
2.Определить количество столбцов
3.Определить последовательность выполнения
логических операций
4. Заполнить столбцы результатами выполнения
логических операций в обозначенной
последовательности с учетом таблиц
истинности основных логических операций.
14.
1.F = (A ᴠ B) ʌ (¬ A ᴠ¬ B)2.F= X ᴠ Y ʌ ¬ Z
3.F=XʌYᴠ¬(XᴠY)ᴠX
4.F = А ʌ(В → С)
5.F=(Вʌ¬В)↔(AᴠD)
15.
Домашнее задание:1) Материал занятия
2) Построение таблиц истинности
для более сложных
высказываний