Элементы математической логики - презентация, доклад, проект скачать

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

Элементы математической логики, слайд №1

Элементы математической логики, слайд №2

Элементы математической логики, слайд №3

Элементы математической логики, слайд №4

Элементы математической логики, слайд №5

Элементы математической логики, слайд №6

Элементы математической логики, слайд №7

Элементы математической логики, слайд №8

Элементы математической логики, слайд №9

Элементы математической логики, слайд №10

Элементы математической логики, слайд №11

Элементы математической логики, слайд №12

Элементы математической логики, слайд №13

Элементы математической логики, слайд №14

Элементы математической логики, слайд №15

Элементы математической логики, слайд №16

Элементы математической логики, слайд №17

Элементы математической логики, слайд №18

Элементы математической логики, слайд №19

Содержание ▲

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

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

Слайд 1

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

ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Слайд 2

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

Определение Высказыванием называется повествовательное предложение, которое можно охарактеризовать либо как истинное, либо как ложное, но не как то и другое вместе. Высказывания обозначают прописными буквами латинского алфавита: . Истинное высказывание обозначают символом 1, а ложное – символом 0.

Слайд 3

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

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

Слайд 4

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

Логические операции Отрицание

Слайд 5

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

Логические операции Дизъюнкция

Слайд 6

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

Логические операции Эквиваленция

Слайд 7

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

Таблица истинности

Слайд 8

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

Таблица истинности В общем случае, если формула содержит логических переменных, то ее таблица истинности будет содержать 2n строк. В рассмотренном примере число строк равно 23. Формула, принимающая значение 1 при всех наборах значений истинности входящих в нее логических переменных, называется тождественно-истинной (или тавтологией). Формула, принимающая значение 0 при любых наборах значений истинности входящих в нее логических переменных, называется тождественно-ложной.

Слайд 9

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

Равносильные формулы Две формулы логики высказываний называются равносильными, если они принимают одинаковые значения истинности при одних и тех же наборах значений истинности входящих в них логических переменных. При этом формулы должны содержать одинаковый набор логических переменных. Формулы можно обозначать греческими буквами , ,  и т.п. Если формулы  и  равносильны, то пишут = .