::
Ciao a tutti!
sono c, e mi chiedevo se qualcuno di voi può aiutarmi….io sto usando l’ambiente prooftree per scrivere di deduzioni logiche, ma ho un problema: l’albero di deduzione va fuori dalla pagina..come posso fare a forzare la formattazione in modo da farcelo stare?
Lascio l’esempio del codice che sfora(tra l’altro, magari ho sbagliato a scriverlo, è uno dei primi tentativi) Io vorrei poter avvicinare tra loro i sequenti sopra una riga…
Grazie dell’attenzione!
ciao
{\scriptsize{$$\prooftree
\[\[v=0\vdash_{1.5}v+r=0+r\quad\vdash_{S3}0+r=r\justifies v=0\vdash v+r=r\using{tran}\]v+r=r\vdash_{U2} s(v+r)=s(r)\justifies v=0\vdash s(v+r)=s(r)\using{cut}\]\quad s(v+r)=t,s(v+r)=s(r)\vdash_{U1} t=s(r)\justifies v=0,s(v+r)=t\vdash t=s(r)\using{cut}
\endprooftree$$}}
.
