Направо към съдържанието

Отрицание

от Уикипедия, свободната енциклопедия
(пренасочване от Логическо отрицание)

Отрицанието в логиката представлява съждение, което е противоположно на друго съждение. Всяко съждение има свое съответно противоположно съждение, например „навън вали“ – „навън не вали“. Отрицанието може да представлява също операция (наричана също отричане), извършвана върху дадено съждение – в дадения пример „навън не вали“ е отрицание, отричане, на съждението „навън вали“.

Отрицанието е важен елемент от булевата алгебра, включително в контекста на информатиката, програмирането и въобще обработката на данни. Обозначава се с различни знаци: !, ¬ или черта над символа.