Отрицание (инверсия).

Отрицанием высказывания А называется новое высказывание, которое истинно, если исходное высказывание А ложно, и ложно, если высказы­вание А истинно. Отрицание А обозначается ( иногда обозначается ù А)и читает­ся: «не А» или «неверно, что А». Логическое значение высказывания связано с логическим значением выска­зывания А, как указано в таблице, которую называют таблицей истинности операции отрицания:

А

Примеры.

1. Для истинного высказывания «Число 24 делится на число 6» (А) отрицание будет ложное высказывание «Число 24 не делится на число 6» ( ) или «Неверно, что число 24 делится на число 6» ( ).

2. Для ложного высказывания « » (А) отрицание будет истинное высказывание «Неверно, что », то есть высказывание « » ( ).