Рассмотрите следующие элементарные высказывания: A = «Река Днепр впадает в Чёрное море», B = «45 — простое число», C = «Вена — столица Австрии», D = «0 — натуральное число». Определите, какие из них истинные, а какие ложные. Составьте сложные высказывания, применяя каждый раз только одну из пяти логических операций (¬, &, ∨, →, ↔) к высказываниям A, B, C и D. Сколько новых высказываний можно получить с помощью отрицания (инверсии)? Конъюнкции? Дизъюнкции? Импликации? Эквиваленции? Сколько всего новых высказываний можно получить? Сколько среди них будет истинных?
Проверим исходные факты. Днепр впадает в Чёрное море, поэтому
Отрицание можно применить к каждому из четырёх высказываний:
Для конъюнкции выбираем пару разных высказываний. Порядок не меняет смысл:
Для дизъюнкции также имеется
Для импликации порядок важен:
Для эквиваленции порядок не важен, поэтому снова
Всего получаем
