Отрицанием высказывания А называется новое высказывание, которое истинно, если исходное высказывание А ложно, и ложно, если высказывание А истинно. Отрицание А обозначается ( иногда обозначается ù А) и читается:«не А» или «неверно, что А». Логическое значение высказывания связано с логическим значением высказывания А, как указано в таблице, которую называют таблицей истинности операции отрицания:
А | |
Примеры.
1. Для истинного высказывания «Число 24 делится на число 6» (А) отрицание будет ложное высказывание «Число 24 не делится на число 6» () или «Неверно, что число 24 делится на число 6» ().
2. Для ложного высказывания «» (А) отрицание будет истинное высказывание «Неверно, что », то есть высказывание «» ().