Операции над высказываниями

Август 12, 2022

Главная
Информатика
Операции над высказываниями

Содержание

3. Сложные высказывания – это такие высказывания, в составе которых можно выделить другие высказывания как их собственные
4. Таблица истинности конъюнкции A Диаграмма Эйлера — Венна А^В А B
5. Таблица истинности дизъюнкции Диаграмма Эйлера — Венна А В АVВ
6. Таблица истинности отрицания Диаграмма Эйлера — Венна А А
7. Таблица истинности импликации Диаграмма Эйлера — Венна
8. Логическая операция ЭКВИВАЛЕНТНОСТЬ Таблица истинности Диаграмма Эйлера — Венна
9. Составьте таблицы истинности для формулы Составьте таблицы истинности для формулы
10. Составьте таблицы истинности для формулы Составьте таблицы истинности для формулы
12. Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок. — Вот увидишь, Шумахер не
14. Скачать презентацию

Слайд 2

Слайд 3

Сложные высказывания – это такие высказывания, в составе которых можно выделить

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

Слайд 4

Таблица истинности конъюнкции
A
Диаграмма Эйлера — Венна
А^В
А
B

Слайд 5

Таблица истинности
дизъюнкции
Диаграмма Эйлера — Венна
А
В
АVВ

Слайд 6

Таблица истинности
отрицания
Диаграмма Эйлера — Венна
А
А

Слайд 7

Таблица истинности импликации
Диаграмма Эйлера — Венна

Слайд 8

Логическая операция ЭКВИВАЛЕНТНОСТЬ
Таблица истинности
Диаграмма Эйлера — Венна

Слайд 9

Составьте таблицы истинности для формулы
Составьте таблицы истинности для формулы

Слайд 10

Составьте таблицы истинности для формулы
Составьте таблицы истинности для формулы

Слайд 11

Слайд 12

Трое друзей, болельщиков автогонок "Формула-1", спорили о
результатах предстоящего этапа гонок.
—

Вот увидишь, Шумахер не придет первым, — сказал Джон. Первым будет Хилл.

— Да нет же, победителем будет, как всегда, Шумахер, — воскликнул Ник.
А об Алези и говорить нечего, ему не быть первым.

Питер, к которому обратился Ник, возмутился:
— Хиллу не видать первого места!

По завершении этапа гонок оказалось, что только два предположения подтвердились.
Кто выиграл этап гонки?

Решение. Введем обозначения для логических высказываний:
Ш — победит Шумахер; Х — победит Хилл; А — победит Алези.

Зафиксируем высказывания каждого из друзей:

Ник:

Питер:

Джон: