Презентация Логика высказываний онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Логика высказываний абсолютно бесплатно. Урок-презентация на эту тему содержит всего 37 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Математика » Логика высказываний

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

37 слайдов
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

831.50 kB
Просмотров:

66
Скачиваний:

1
Автор:

неизвестен

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

№1 слайд

Содержание слайда: Логика высказываний Институт Информационных Технологий Челябинский Государственный Университет

№2 слайд

Содержание слайда: Из истории логики

№3 слайд

Содержание слайда: Место логики высказывания Дискретная математика лежит в основе всей компьютерной логики и принципов организации ЭВМ.

№4 слайд

Содержание слайда: Место логики высказывания

№5 слайд

Содержание слайда: Логика высказываний Логика высказывания:

№6 слайд

Содержание слайда: Высказывание

№7 слайд

Содержание слайда: Представление Истины и Лжи

№8 слайд

Содержание слайда: Операции

№9 слайд

Содержание слайда: Операции

№10 слайд

Содержание слайда: Операции

№11 слайд

Содержание слайда: Условные высказывания Таблица истинности для высказывания

№12 слайд

Содержание слайда: Пример. Требуется найти таблицу истинности для выражения

№13 слайд

Содержание слайда: Пример. (продолжение)

№14 слайд

Содержание слайда:

№15 слайд

Содержание слайда: Эквивалентные высказывания Особый интерес представляют сложные высказывания, имеющие различное строение, но являющиеся истинными в одних и тех же случаях. Такие высказывания называются логически эквивалентными. Эквивалентность двух высказываний легко установить посредством сравнения их таблиц истинности. Например, пусть p и q обозначают высказывания p: Сегодня шел дождь. q: Сегодня шел снег. Рассмотрим сложные высказывания: Неверно, что сегодня шел дождь или снег, Или символически И Сегодня не шел дождь и сегодня не шел снег. Или символически

№16 слайд

Содержание слайда:

№17 слайд

Содержание слайда:

№18 слайд

Содержание слайда: Формулы

№19 слайд

Содержание слайда: Формулы

№20 слайд

Содержание слайда: Формулы

№21 слайд

Содержание слайда: Интерпретация

№22 слайд

Содержание слайда: Интерпретация

№23 слайд

Содержание слайда: Интерпретация

№24 слайд

Содержание слайда: Равносильность

№25 слайд

Содержание слайда: Законы логики

№26 слайд

Содержание слайда: Законы логики

№27 слайд

Содержание слайда: Теорема.

№28 слайд

Содержание слайда: Теорема (продолжение)

№29 слайд

Содержание слайда: ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ Высказывание, истинное во всех случаях, называется логически истинным, или тавтологией; высказывание, построенное так, что оно ложно в каждом случае, называется логически ложным, или противоречием. Теоремы в математике являются примерами тавтологий.

№30 слайд

Содержание слайда: ЭКВИВАЛЕНТНЫЕ ВЫСКАЗЫВАНИЯ Имея логически истинное высказывание - тавтологии, легко построить логически ложное высказывание - противоречие. Для этого достаточно взять отрицание логически истинного высказывания. Поэтому высказывание логически ложно.

№31 слайд

Содержание слайда: Условные высказывания могут выражаться в виде различных языковых конструкций, но символически все они записываются Условные высказывания могут выражаться в виде различных языковых конструкций, но символически все они записываются Примеры таких конструкций:

№32 слайд