Ciao a tutti,
sto cercando di capire come si svolge la deduzione naturale per i linguaggi del primo ordine, ma non mi sono chiare queste cose:
-parto dal basso verso l'alto e via via devo scaricare qualcosa utilizzando le regole elementari e condizionali, giusto?
-quando e' scritto che si scarica significa in un certo senso che devo semplificare utilizzando sempre le famose regole?Quando mi devo fermare?
grazie per i chiarimenti