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