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

Категория: Математика
Нажмите для полного просмотра!
Элементы математической логики. Формулы алгебры логики, слайд №1Элементы математической логики. Формулы алгебры логики, слайд №2Элементы математической логики. Формулы алгебры логики, слайд №3Элементы математической логики. Формулы алгебры логики, слайд №4Элементы математической логики. Формулы алгебры логики, слайд №5Элементы математической логики. Формулы алгебры логики, слайд №6Элементы математической логики. Формулы алгебры логики, слайд №7Элементы математической логики. Формулы алгебры логики, слайд №8Элементы математической логики. Формулы алгебры логики, слайд №9Элементы математической логики. Формулы алгебры логики, слайд №10Элементы математической логики. Формулы алгебры логики, слайд №11Элементы математической логики. Формулы алгебры логики, слайд №12Элементы математической логики. Формулы алгебры логики, слайд №13Элементы математической логики. Формулы алгебры логики, слайд №14
Скачать
Вы можете ознакомиться и скачать презентацию на тему Элементы математической логики. Формулы алгебры логики. Доклад-сообщение содержит 14 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


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

Слайд 2


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

Слайд 3


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

Слайд 4


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

Слайд 5


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

Слайд 6


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

Слайд 7


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

Слайд 8


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

Слайд 9


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

Слайд 10


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

Слайд 11


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

Слайд 12


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

Слайд 13


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

Слайд 14


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

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию