Элементы математической логики. Формулы алгебры логики

Нажмите для полного просмотра!

Элементы математической логики. Формулы алгебры логики, слайд №2

Элементы математической логики. Формулы алгебры логики, слайд №3

Элементы математической логики. Формулы алгебры логики, слайд №4

Элементы математической логики. Формулы алгебры логики, слайд №5

Элементы математической логики. Формулы алгебры логики, слайд №6

Элементы математической логики. Формулы алгебры логики, слайд №7

Элементы математической логики. Формулы алгебры логики, слайд №8

Элементы математической логики. Формулы алгебры логики, слайд №9

Элементы математической логики. Формулы алгебры логики, слайд №10

Элементы математической логики. Формулы алгебры логики, слайд №11

Элементы математической логики. Формулы алгебры логики, слайд №12

Элементы математической логики. Формулы алгебры логики, слайд №13

Элементы математической логики. Формулы алгебры логики, слайд №14

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Элементы математической логики. Формулы алгебры логики. Доклад-сообщение содержит 14 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Слайд 2

Описание слайда:

Логика высказываний Высказывания Истинность высказывания Операции над высказываниями Дизъюнкция Конъюнкция Импликация Эквиваленция Штрих Шеффера Штрих Лукасевича

Слайд 3

Описание слайда:

КОНЪЮНКЦИЯ: бинарное Обозначается: ^ (логическое умножение, операция «и»)

Слайд 4

Описание слайда:

ТАБЛИЦЫ ИСТИННОСТИ. СВОЙСТВА ОТРИЦАНИЕ: унарное Высказывание это: любое предложение, утверждающее что-либо, при этом всегда можно сказать истинно оно или ложно, в данном месте в данное время. 1-истина (и, true). 0-ложь (, false). Высказывание, получаемое из элементарных с помощью связок: не, и, или, если то, тогда и только тогда - называются сложными или составными. Ни одно высказывание не может быть одновременно истинным или ложным.

Слайд 5

Описание слайда:

ДИЗЪЮНКЦИЯ Обозначается: V (логическое сложение, операция «или»)

Слайд 6

Описание слайда:

ИМПЛИКАЦИЯ Обозначается: X Y (Импликация двух высказываний x и y которое ложно, если x-истина, а y-ложно, и истина во всех остальных случаях)

Слайд 7

Описание слайда:

Эквиваленция Обозначается: X ↔ Y (Эквиваленция двух высказываний x и y,это новое высказывание, это истина когда оба высказывания одновременно истина и одновременно ложь, и ложь в остальных других случаях)

Слайд 8

Описание слайда:

Штрих Шеффера: Обозначается: X /Y (высказывание, которое ложно только тогда, когда оба высказывания истина)

Слайд 9

Описание слайда:

Штрих Лукасевича Обозначение:X ↓Y (высказывание, которое истина в одном случае, когда оба высказывания ложно)

Слайд 10

Описание слайда:

Слайд 11

Описание слайда:

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

Слайд 12

Описание слайда:

Основные равносильности алгебры логики 1. 2. 3. 4. 5. 6.

Слайд 13

Описание слайда:

Равносильности выражающие одни логические функции через другие 1. 2. 3. 4. 5. 6.

Слайд 14

Описание слайда:

Равносильности выражающие основные законы алгебры логики 1. законы коммутативности 2. 3. закон ассоциативности конъюнкции 4. закон ассоциативности дизъюнкции 5. 6.