Отрицание
Облик
Отрицанието в логиката представлява съждение, което е противоположно на друго съждение. Всяко съждение има свое съответно противоположно съждение, например „навън вали“ – „навън не вали“. Отрицанието може да представлява също операция (наричана също отричане), извършвана върху дадено съждение – в дадения пример „навън не вали“ е отрицание, отричане, на съждението „навън вали“.
Отрицанието е важен елемент от булевата алгебра, включително в контекста на информатиката, програмирането и въобще обработката на данни. Обозначава се с различни знаци: !
, ¬
или черта над символа.
Вижте също
[редактиране | редактиране на кода]Тази статия за математически обект все още е мъниче. Помогнете на Уикипедия, като я редактирате и разширите.
|