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?

Sì, quelle sono tutte formule “matematiche”. A parte i pacchetti specifici
per comporre matematica, ti segnalo philex e linguex,
pensati per testi di filosofia del linguaggio e linguistica.

Ciao
Ivan