Инверсия, или отрицание

Дизъюнкция, или логическое сложение

Дизъюнкция – логическая операция, соответствующая логической связке «ИЛИ». Дизъюнкция обозначается символом Ú, а также словами «или», «or». Как видно из таблицы истинности, логическое выражение a Ú b будет равно 1, когда a = 1, когда b = 1 или когда a и b равны 1 одновременно. На языке логики это означает, что составное высказывание, построенное с использованием дизъюнкции, будет истинно тогда, когда истинно хотя бы одно из входящих в него высказываний.

Пример. Высказывание «5 делится на 2 без остатка» ложно. А его инверсия (его отрицание) будет истинно: «Неверно, что 5 делится на 2 без остатка».

Инверсия – логическая операция, обозначающая логическую связку «НЕВЕРНО, ЧТО». Инверсия применяется к одной логической переменной. Обозначается: крышкой над буквой переменной или над целым выражением , символом Ø (Øa), иногда также символом ~ (~a), а также словами «не», «not». Как видно из таблицы истинности, инверсия изменяет значение логической переменной на противоположное. На языке логики это означает, что составное высказывание, построенное с использованием инверсии, будет истинно тогда, когда входящее в него высказывание ложно.

Дата добавления: 2014-01-07