Задача определение ИВ является ли формулой

[still65]

Помогите пожалуйста, не понимаю как решить.

Существуют некие аксиомы, по которым нужно решить уравнение, но что делать если не одна из них не подходит? Нужно каким-то образом конвертировать формулу с помощью знаков "конъюнкции" и "дизъюнкции"?

Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
$((A\to\neg B)\to\neg(A\to\neg C))\to\neg(A\to\neg(\neg B \toC))$

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом, бессодержательный заголовок

still65
Приведите попытки решения, укажите конкретные затруднения.
Дайте теме содержательное название.
Наберите все формулы и термы $\TeX$ом.
Каждая формула целиком должна быть заключена в одну пару долларов.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.