Основные положения Базовые логические операции Логические основы компьютера

Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Таблицы истинности Примеры

 

Инверсия (логическое отрицание) - высказывание "не А" - истинно, если ложно высказывание А (и наоборот).

Пример 1. Определите истинность высказывания К = {не свежевыпавший снег - белый}.

Решение: пусть высказывание Р = {свежевыпавший снег - белый}. Оно - истинное. Тогда выражение К = не Р - ложно.

Пример 2. Определите истинность высказывания F = {не самый лучший материал для зонта - бумага}.

Решение: пусть высказывание R = {самый лучший материал для зонта - бумага}. Оно - ложное. Тогда выражение F = не R - истинно.

Обозначение:

Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность Таблицы истинности Примеры

©Максимовская М.А., 2016 год, Москва