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

Категория: Математика
Нажмите для полного просмотра!
Логика высказываний, слайд №1Логика высказываний, слайд №2Логика высказываний, слайд №3Логика высказываний, слайд №4Логика высказываний, слайд №5Логика высказываний, слайд №6Логика высказываний, слайд №7Логика высказываний, слайд №8Логика высказываний, слайд №9Логика высказываний, слайд №10Логика высказываний, слайд №11Логика высказываний, слайд №12Логика высказываний, слайд №13Логика высказываний, слайд №14Логика высказываний, слайд №15Логика высказываний, слайд №16Логика высказываний, слайд №17Логика высказываний, слайд №18Логика высказываний, слайд №19Логика высказываний, слайд №20Логика высказываний, слайд №21Логика высказываний, слайд №22Логика высказываний, слайд №23Логика высказываний, слайд №24Логика высказываний, слайд №25Логика высказываний, слайд №26Логика высказываний, слайд №27Логика высказываний, слайд №28Логика высказываний, слайд №29Логика высказываний, слайд №30Логика высказываний, слайд №31Логика высказываний, слайд №32Логика высказываний, слайд №33Логика высказываний, слайд №34Логика высказываний, слайд №35Логика высказываний, слайд №36Логика высказываний, слайд №37
Скачать

Содержание ▲

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

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

Слайд 1


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

Слайд 2


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

Слайд 3


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

Слайд 4


Место логики высказывания
Описание слайда:
Место логики высказывания

Слайд 5


Логика высказываний Логика высказывания:
Описание слайда:
Логика высказываний Логика высказывания:

Слайд 6


Высказывание
Описание слайда:
Высказывание

Слайд 7


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

Слайд 8


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

Слайд 9


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

Слайд 10


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

Слайд 11


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

Слайд 12


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

Слайд 13


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

Слайд 14


Логика высказываний, слайд №14
Описание слайда:

Слайд 15


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

Слайд 16


Логика высказываний, слайд №16
Описание слайда:

Слайд 17


Логика высказываний, слайд №17
Описание слайда:

Слайд 18


Формулы
Описание слайда:
Формулы

Слайд 19


Формулы
Описание слайда:
Формулы

Слайд 20


Формулы
Описание слайда:
Формулы

Слайд 21


Интерпретация
Описание слайда:
Интерпретация

Слайд 22


Интерпретация
Описание слайда:
Интерпретация

Слайд 23


Интерпретация
Описание слайда:
Интерпретация

Слайд 24


Равносильность
Описание слайда:
Равносильность

Слайд 25


Законы логики
Описание слайда:
Законы логики

Слайд 26


Законы логики
Описание слайда:
Законы логики

Слайд 27


Теорема.
Описание слайда:
Теорема.

Слайд 28


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

Слайд 29


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

Слайд 30


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

Слайд 31


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

Слайд 32


Логика высказываний, слайд №32
Описание слайда:

Слайд 33


Логика высказываний, слайд №33
Описание слайда:

Слайд 34


Проверка на равносильность
Описание слайда:
Проверка на равносильность

Слайд 35


Логика высказываний, слайд №35
Описание слайда:

Слайд 36


Проверка на равносильность С использованием таблицы истинности
Описание слайда:
Проверка на равносильность С использованием таблицы истинности

Слайд 37


Логика высказываний, слайд №37
Описание слайда:

Скачать

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