1,A->B допущение
2,bar(B)допущение
3,(А |- B, B|-A )/ |- A - введение отрицания.
4.А - допущение противного
5.(A,A->B)/B - удаление импликации.
и так далее...решение есть.но откуда это все взялось непонятно) введение импликации,отрицания..это аксиомы как бы. но,как ими пользоваться? что брать за допущения? ничего не ясно. можете посоветовать какую-нибудь литературу? у меня кроме очень кратких конспектов ничего нет. а по скольку предмет ранее не изучался, очень трудно самой разобраться.
"голову взять за допущение,хвост доказываем" - к сожалению,эти слова ни о чем мне не говорят.(( помогите,пожалуйста.