Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики/Логические выражения и их преобразование/Отрицание
Операция отрицания соответствует в обычном языке частице не. Функция, получающаяся в результате применения операции отрицания к высказыванию X , обозначается так: 
. Читается " не икс". Заметим, что в математической логике до сих пор нет единых обозначений, поэтому вместо можно встретить и другие обозначения, смысл которых тот же самый, например, 
или 
.
Новое сложное высказывание - ложно при условии, что высказывание X истинно и истинно при условии, что X - ложно. Запишем эти зависимости в виде таблицы истинности (формальное определение дадим позднее) для операции отрицания:
| X |
|
|---|---|
| 1 | 0 |
| 0 | 1 |
Пример 1.
Обозначим суждение (высказывание) "Я иду в кино " через X1, а суждение "Я достаю билеты в театр " через X2 . Тогда в сложном суждении " Если я завтра достаю билеты в театр, то не иду в кино ( X2 = 1, X1 = 0), а если я не достану билеты в театр, то пойду в кино ( X2 = 0, X1 = 1)" высказывания X1 и X2 связаны между собой операцией отрицания: X1 = .
К разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Основы логики
