La cosa richiesta e' impossibile, ed il riferimento al testo necessariamente sbagliato,
a meno che si abbia alpha=beta.

Consideriamo infatti alpha=p e beta=q, con p e q variabili proposizionali,
e consideriamo un assegnamento proposizionale B tale che B(p)=0 e B(q)=1.
In questo caso avremmo Bsegnato(p->q)=1 e Bsegnato(q->p)=0,
contraddicendo cosi' il fatto che, per il teorema di correttezza della
logica proposizionale, se avessimo p->q |- q->p avremmo anche p->q |= q->p.