Пусть a = “это утро ясное”. Выразите формулу ¬(¬а) на обычном языке и запишите полученное...

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

Пусть a = “это утро ясное”. Выразите формулу ¬(¬а) ** обычном языке и запишите полученное...