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


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