Отрицание высказывания в логике получается добавлением спереди фразы "неверно, что...". Здесь отрицание двойное, поэтому выражение строится по принципу "Неверно, что неверно, что это утро ясное". После упрощения получим "Верно, что это утро ясное" или же просто исходное утверждение "Это утро ясное".
Здесь отрицание двойное, поэтому выражение строится по принципу
"Неверно, что неверно, что это утро ясное". После упрощения получим "Верно, что это утро ясное" или же просто исходное утверждение "Это утро ясное".