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

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

 

А

 

Примеры.

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

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