Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Таблица истинности. Основные логические тождества

2. Определение высказывания. Таблица истинности для высказываний Определение 1Переменная А, принимающая два значения – 0 или 1, называется логической (или булевой) переменной.Обозначаться логические переменные будут заглавными латинскими буквами с индексами или без них:
Кафедра математики и моделированияСтаршие преподаватели Е.Д. Емцева и Е.Г. ГусевКурс «Высшая математика»Лекция 2. Определение высказывания. Таблица истинности для высказываний Определение 1Переменная А, принимающая два Порядок действий1)Однотипные операции выполняются в порядке их следования.Например, 2) Отрицание подразумевает скобки.3) Примеры1)Избавиться от лишних скобокОтвет 2)Расставить порядок действий1234567 Определение 2Таблица истинности для высказывания 3. Равносильные высказывания. Определение 1Высказывания F(A1,A2,…,An) и G(A1,A2,…,An) называются равносильными (или просто Примеры Доказательство    Основные логические тождестваИдемпотентные законы: Коммутативные законы: Ассоциативные законы: 1)2)3)4)5)6)7)8) Законы Моргана: Закон двойного отрицания: Закон противоречия: Закон исключенного третьего: 9)10)11)12)13)14)15)Дистрибутивные законы: Без названия:16)17) Законы поглощения: ДоказательствоДоказательство16)17)18)19) Тождества, содержащие константы: Вопросы: Перечислить порядок действий в высказываниях.Сколько строк содержит таблица истинности для высказывания с 5 логическими переменными?
Слайды презентации

Слайд 2 2. Определение высказывания.
Таблица истинности для высказываний
Определение

2. Определение высказывания. Таблица истинности для высказываний Определение 1Переменная А, принимающая

1
Переменная А, принимающая два значения – 0 или 1, называется

логической (или булевой) переменной.
Обозначаться логические переменные будут заглавными латинскими буквами с индексами или без них:

Слайд 3 Порядок действий
1)Однотипные операции выполняются в порядке их следования.
Например,

Порядок действий1)Однотипные операции выполняются в порядке их следования.Например, 2) Отрицание подразумевает


2) Отрицание подразумевает скобки.
3) Конъюнкция связывает сильнее, чем дизъюнкция.


Например,

4) Дизъюнкция связывает сильнее, чем импликация.
Например,

5) Импликация связывает сильнее, чем эквивалентность.
Например,


Слайд 4 Примеры
1)Избавиться от лишних скобок


Ответ

2)Расставить порядок действий



1
2
3
4
5
6
7

Примеры1)Избавиться от лишних скобокОтвет 2)Расставить порядок действий1234567

Слайд 5 Определение 2
Таблица истинности для высказывания

Определение 2Таблица истинности для высказывания

имеет вид

 

Если высказывание F построено из логических переменных

, то будем обозначать это высказывание:

Теорема
Наборов длины n из 0 и 1 существует


Слайд 6 3. Равносильные высказывания.
Определение 1
Высказывания F(A1,A2,…,An) и G(A1,A2,…,An)

3. Равносильные высказывания. Определение 1Высказывания F(A1,A2,…,An) и G(A1,A2,…,An) называются равносильными (или

называются равносильными (или просто равными), если для любого набора


имеет место равенство:


Обозначим


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



Слайд 7 Примеры
Доказательство


 

 


Примеры Доказательство   

Слайд 8 Основные логические тождества
Идемпотентные законы:





Коммутативные законы:
Ассоциативные законы:

Основные логические тождестваИдемпотентные законы: Коммутативные законы: Ассоциативные законы: 1)2)3)4)5)6)7)8)


1)
2)
3)
4)
5)
6)
7)
8)


Слайд 9 Законы Моргана:


Закон двойного отрицания:

Закон противоречия:

Закон

Законы Моргана: Закон двойного отрицания: Закон противоречия: Закон исключенного третьего: 9)10)11)12)13)14)15)Дистрибутивные законы: Без названия:16)17)

исключенного третьего:



9)
10)
11)
12)
13)
14)
15)
Дистрибутивные законы:
Без названия:
16)
17)


Слайд 10 Законы поглощения:
Доказательство

Доказательство



16)
17)
18)
19)

Законы поглощения: ДоказательствоДоказательство16)17)18)19)

Слайд 11 Тождества, содержащие константы:






Тождества, содержащие константы:

  • Имя файла: tablitsa-istinnosti-osnovnye-logicheskie-tozhdestva.pptx
  • Количество просмотров: 105
  • Количество скачиваний: 0