Выдержка из книги
Метакидес Г.N.
Принципы логики и логического программирования
Используя вновь первую аксиому А - ( В - А), по правилу Modus Ponens заключаем, что - А - у А. Следовательно, высказывание А - А выводимо в нашей аксиоматической системе.
