от клиента: Используя аксиомы и modus ponens прийти к первоначальному выражению.
на 1 фото я написал один пример и условие, как его надо сделать.
на 2 фото написан второй пример, надо попробовать сделать любой из этих двух.
на 3 фото две решенные и это как надо делать примерно. Можно использовать только эти три аксиомы (необязательно чтобы все три аксиомы присутствовали) и modus ponens.
НА 3 фото расписано каждое действие ( например при выполнение задание б) ) первое действие было расписано по второй аксиоме ( ее обозначили А2) и в конце, а это 9 действие, мы получили наш пример ( который был первоначально задан). Я к чему все это пишу, мне надо чтобы мои задания были сделаны так же, а именно каждая строчка (т.е действие) должна быть расписана, где была использована аксиома и где modus ponens.