ЗАПЕРЕЧЕННЯ

Заперечення - логічна зв'язка, за допомогою якої з даного висловлювання виходить нове висловлювання, таке, що якщо оригінал висловлювання істинно, його заперечення є хибним, і навпаки. Негативне висловлювання складається з вихідного висловлювання і заперечення, що виражається зазвичай словами «не», «невірно, що». Негативне висловлювання є, таким чином, складним висловлюванням: воно включає в якості своєї частини відмінне від нього висловлювання.

Наприклад, запереченням висловлювання «10 - парне число» є вислів «10 не їсти парне число» (або: «Невірно, що 10 є парне число»).

Позначимо висловлювання буквами Л, В, С, ... Повний зміст поняття заперечення висловлювання задається умовою: якщо висловлювання А істинно, його заперечення брехливо, і якщо А помилково, його заперечення істинно.

Наприклад, так як висловлювання «1 є ціле позитивне число» істинно, його заперечення «1 не є цілим позитивним числом» помилково, а так як «1 є просте число» помилково, його заперечення «1 цієї статті не є просте число» істинно.

 
Переглянути оригінал
< Попер   ЗМІСТ   ОРИГІНАЛ   Наст >