Закон двойного отрицания
Этот закон выражается тавтологией:
≡ А
двойное отрицание высказывания эквивалентно самому высказыванию.
Закон двойного отрицания можно проверить таблицей истинности:
| А | 
|
|
Пример: высказывание А=”Сегодня пятница”,
высказывание =”Сегодня НЕ пятница”,
высказывание = “ Неверно, что сегодня НЕ пятница ”.
Высказывание “ Неверно, что сегодня НЕ пятница ” полностью эквивалентно исходному высказыванию ”Сегодня пятница”.