[LOGICA] Deduzione naturale con implicazione

[andrePa1]

Salve a tutti,
stavo facendo questo esercizio:
\(\displaystyle \vdash ((\neg \alpha) \vee \beta ) \rightarrow (\alpha \rightarrow \beta) \)

edit:
scusate nella foga di essere riuscito con latex non ho finito.
ecco, io non riesco a derivare not alpha, ho l'implica di a=>b nell'albero di derivazione, però poi da B non vado avanti.

edit2:
cioè in dettaglio, dalla formula principale uso la regola dell'introduzione dell'implicazione, partendo dal basso, ed arrivo a alpha che implica beta. poi di nuovo con la stessa regola arrivo a beta. poi dovrei scaricare l'antecedente, trovando alpha, ma non riesco..

[el_brando]

Ciao !
Stai facendo la derivazione in logica classica presumo...
Ti consiglio di utilizzare la regola di eliminiazione dell'OR, io l'ho risolta con quella.
Se vuoi ti posto la soluzione, ma prima prova a pensare al mio suggerimento