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