Re: SImboli logici

samiel” post=84237Per comporre un certo numero di formule logiche, alcune elementari
e che stanno tranquillamente “in linea”, altre un po’ più complesse
“in display” (come si direbbe usando la terminologia di LaTeX),
che comportamento mi conviene adottare?
Trattarle come espressioni matematiche? Esistono pacchetti specifici?
Allego un’immagine per dare un’idea del lavoro che devo fare

grazie
m

Da quello che vedo, non intendendomene di matematica, anche le espressioni che nella tua figura sono in display starebbero tranquillamente in linea. Se sono così importanti da meritare il display, io le metterei in display matematico. Credo che i vari pacchetti amsmath, amssymb eccetera definiscano anche un buon numero di simboli logici.

Ciao
Tommaso