Derivazione Logica

DavidePeccioli” post=122203Buongiorno a tutti,

scrivendo degli appunti universitari mi sono ritrovato a dover copiare lo schema allegato: si tratta dello schema utilizzato dal professore per svolgere una derivazione logica.

Ho provato ad utilizzare l’ambiente `align` annidiato (tramite l’ambiente `aligned` di amsmath), con degli opportuni `\left|\right.` per ottenere le barre verticali.

Qualcuno avrebbe dei suggerimenti per scrivere nel modo “corretto” questa tabella? Ovvero, è possibile creare una tabella e poi successivamente aggiungere delle barre verticali?

(Se ritenete necessario allego un mwe, ma ho paura che il modo più corretto sia percorrere completamente un’altra strada rispetto a quella che ho intrapreso io.)

e farsi dare il codice dal Professore ? 🙂
R.

Innanzi tutto benvenuto nel forum.

DavidePeccioli” post=122203Buongiorno a tutti,

scrivendo degli appunti universitari mi sono ritrovato a dover copiare lo schema allegato: si tratta dello schema utilizzato dal professore per svolgere una derivazione logica.

Ho provato ad utilizzare l’ambiente `align` annidiato (tramite l’ambiente `aligned` di amsmath), con degli opportuni `\left|\right.` per ottenere le barre verticali.

Qualcuno avrebbe dei suggerimenti per scrivere nel modo “corretto” questa tabella? Ovvero, è possibile creare una tabella e poi successivamente aggiungere delle barre verticali?

(Se ritenete necessario allego un mwe, ma ho paura che il modo più corretto sia percorrere completamente un’altra strada rispetto a quella che ho intrapreso io.)

Credo che lavorandoci sopra con gli sporchi trucchi che Knuth stesso ha inserito nel suo manuale di TeX; io provereicon dellelinee verticali lunghe e profonde quanto basta (primo sporco trucco) inserite all’inziodella seconda cella dell 5.a riga si potrebberomettere le riche verticali, ma resterebbe sempre l’opbbligo di spingere a destroil contenuto delle celle della seocnda colonna, in modo che non siano appiccicate alle barre vericali; poi si potrebbero usare le maniere forti e usare il pacchetto tabarray, il cui manuale è molto lungo, ma che fa cose incredibili sulle tabelle testuali (tabular) e matematiche (array); però funziona solo con LuaLaTeX. @robytex, appassionatodi Lua, potrebbe essere di maggiore aiuto con tabarray.