Non arreglas nada con esa suposición porque B teríalo dentro do suposto e por tanto non está aínda demostrado, depende do suposto A.
SÓ PODES EXTRAER DO SUPOSTO MEDIANTE ALGUNHA DAS REGRAS e neste caso aplicando unha introdución do -> terías: A->B ou sexa o mesmo que a premisa.
No segundo caso obterías: ¬B -> A