Надо доказать теорему:|-(A->B)->(~AvB)Можно пользоваться аксиомами Новикова,правилами вывода.Таблицей истинноти нельзя.Уже долго пытаюсь это сделать,но без результатно. Если кто знает, как действовать помогите,пожалуйста.
Доказано.